HTML-escape the function descriptions