It's a bit extreme, but we're starting from a clean slate, so now is a
good time to make that kind of change, to ensure the javadoc will stay
clean in the future.