65fa982a47
While at it, also fix the syntax to actually make the users clickable in github by adding the missing '@'.
While at it, also fix the syntax to actually make the users clickable in github by adding the missing '@'.