doc: typeset HEAD and variants as literal