dgutov Highlight the comments as comments in sources in show-doc