document.write("« A Mouse Problem");document.write(" | ");document.write("Announcing GitHub Desktop Beta »");