in #336, zev pointed out that backticks in comments don't "work" for header-doc. AC: - all backticks replaced with @c