Allow URL highlighting to be turned off via a preference. Fixes #1