Hyperlinks now get opened externally.

This involved fixing up the ToFileURL code to give actual URLs, rather
than just something Chrome would accept.
Removed some dead code.