LangRef: add a note about the mangling-suppressing \01 prefix