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