Reference is emitted directly in doc/