Updated source code location in HTML.
prefer polite for now.
Promote comment.
Wonder if we can get away with this...