Longshot: does anyone who follows me on here know anyone who knows anyone who might know someone on the JavaDoc development team? I think there's a bug in the new JavaDoc API and the maze of twisty paths to report a bug with Oracle is (a) described incorrectly in the JavaDoc FAQ and (b) probably pointless anyway.
@ndw they probably might not want to hear about it
@Heliograph Perhaps. But I hope they do. They went and completely replaced the JavaDoc API, it'd be nice if it was, uh, usable.
@ndw making truthful APIs requires real attention to detail which appears to be a vanishing skill nowadays