use of <code> in Java comments is dumb