New Domain = pdp.dev Jun 19 2020New domain name: pdp.dev!It’s two letters shorter than my old domain name! pdp80.com should still work, at least for the time being.