reverted the change to .html in generating the reference, since I have
fooled myself ...