Keep frames in JavaDoc links, and other small tweaks