The definition for <mentioned>:
http://www.tei-c.org/release/doc/tei-p5-doc/en/html/ref-mentioned.html
links to this bit of the Guidelines:
http://www.tei-c.org/release/doc/tei-p5-doc/en/html/CO.html#COHQU
but that's the wrong bit; <mentioned> is actually covered further up:
http://www.tei-c.org/release/doc/tei-p5-doc/en/html/CO.html#COHQQ
I've assigned this to myself because it's trivial and I'll do it as soon as I get a chance.
Fixed in rev 10150 and closed. Fastest bug in the west.