Link to HTML sources for easier navigation

Thanks to @jung for actually setting this up; since I've wanted to request this for a while, I think other users might find this useful.