[2019] Portals

Thanks for the suggestions!

We’re unlikely to implement the second suggestion, as it would result in using a portal taking longer - and this could potentially cause problems for people playing on Hardcore.