Insert HTML whitespace between function name and "Source" link.

Fixes double-click selection errorneously include "Source".

In HTML, if two things are separate words, there should be at least
one whitespace character between them.