Nice to use `{@code …}` and `{@link …}` wherever possible.