WebComment: automatically linkify HTML comments