I tried to annotate the Parsing HTML documents section but ended up adding
a box to the earlier "9.1.6 Comments" section. It seems the script gets
confused by the <div class=impl>.
It seems the relevant function is
document.addEventListener('click', function(event) {
in status.js
--
Simon Pieters
Opera Software