> So a good syntax highlighter should differentiate between these different kinds of comments. Grey out the javadoc stuff, but emphasize the informative and war

> So a good syntax highlighter should differentiate between these different kinds of comments. Grey out the javadoc stuff, but emphasize the informative and warning comments. But those who write Javadoc well, will put important stuff in there. And those who write non-Javadoc comments badly, will put useless stuff there. Looks like an AI-complete problem to distinguish important from unimportant comments...