So, after some local play it makes sense to wrap code with `{@code ... }` only for xml.
WDYT?
We can merge it as is, because it doesn't have value in the end: the results are the same.
But we should keep it in mind: do not overdo in the future. I mean this:
```
* <pre class="code">
* {@code
...
* }
* </pre>
```
for java (or SQL) is redundant.