Remove unused function encodeHREFChar(). Remove BGCOLOR setting from dot graphs
generated by GraphLayout, and instead set the "pointer-events" property of "a"
elements to be "visible", so that users can click inside an anchor's fill
region despite it not being filled.