Maybe use an `<ul>` so that this renders well in the javadoc?