new portal highlighter to mark inactive unclaimed portals
(and also help track down portals that fail to decay)
ensuure we don't store 'null' in the name->guid cache object
(an alternative to #572)
remove unnecessary storing of the highlighter used within the portal.options
altarnative to the typo fix #571
update website for 0.14.1
bugfix on multiPane
- use dummy fragment for header category
- never select header category
count deleted plugins. needed for checkForNewPlugins()