new plugin - portals list (from @teo96)
update userscript header to match the others
missed userscript header updates
Merge remote-tracking branch 'origin/master'