Portal DEV

This is the development copy. It needs the dev gate code once per device; after that only the normal portal login is asked.

The code is in /root/portal-dev-login.txt on the server (portal-dev gate link). Opening that link directly also works.