Better comment anchors: auto highlighting, load more comments

The comment-anchor system has been revised:
- The comment specified in the anchor is now highlighted with a yellowish color.
- Older comments will be automatically loaded if the one specified in the anchor is not found.
- Also, the scroll is now handled properly when the header is not static.