patches.js: links with arrow heads (sort of); cleanup