Rename highlight-portals-upgrade-with-other-agents.user.js to portal-highlighter-can-make-level-with-other-agents.user.js