portal

https://github.com/djblue/portal
djblue 2020-08-26T02:06:37.000400Z

https://www.youtube.com/watch?v=-1LzFxTbU9E seems to have some interesting ideas that I might steal for portal :thinking_face: