titles-extractor.js

var titles = [];
  $('#bodyContent a[title], .toctext')
    .not('[title*=":"]')
    .each(function(){
        if($(this).text().length > 2) {
            titles.push($(this).text())
        }
    });

  var rexp =  new RegExp("\\\"(.+)\\\"", "g");
  $('.external.text')
    .each(function(){
        var title = $(this).text().replace(rexp,"$1");
        if(title.length > 2) {
            titles.push(title)
        }
  });

  titles.sort();