Add (#id) as a short cross reference syntax
Allow (#id) to be use as a crossreference

This is short and convenient, but guard it with EXTENSION_SHORT_REF.
Fully implement short refs
some more stuff fixed
Some doc updates