portal: * clean up obsolete code in order to remove the rare cases of wrong-sided portals * fix formula of last commit notice: since last commit portals can happen to move faster than 1000px/sec, I'll take care of that soon ;)