Just a heads up that the petra.app hostname is blacklisted by the quad9 DNS service.
I have reported this as a false positive. I assume it wouldn’t hurt if someone contacted them from an official aptoslabs e-mail too.
2 Likes
Got confirmation today that they unblocked it. It works as expected now, all good.
1 Like