is this the right URL for Portal?

https://withportal.dev/

I'm getting a DNS lookup error