Some styling choises of our in-code documentation just doesn't looks
nice in the output of the docs. Here, I've mostly fixed the '@author'
tag. Instead of having each author in their own tag, just have the tag
and then a list starting in the next line.