Reverting to -Xdoclint:none, since syntax and reference are too aggressive for our purposes