when making genjavadoc I read that `<code>` is the usual mark-up for code; if that’s not correct then we should correct that