On 10/4/13, Andrei Alexandrescu <seewebsiteforem...@erdani.org> wrote: > Removed the js files from the site, uploaded fresh dox.
Thanks. It's a shame you don't work for Google so you can give them a slap on the wrist for not implementing this feature in the browser. :)