Fix HTML anchors

Forgot to escape them (using Java extensions)
Switch to frameless URLs

Frameless Javadoc is part of the sister javadoc generation project