Syntax highlighting of users/RikvanRiel

RikvanRiel is Rik van Riel.
 
I am the admin of this wiki and will migrate the contents of the old wiki over to this new wiki ASAP...