I've been really happy to see all the nice personal sites and blogs that people have been creating on .dev domains, this included. It feels like the Web of the late 90s that I grew up in.

She can send a oneliner PR to get her site included on https//fullname.dev if she wants, and if she hasn't yet started using GutHub this would be a good learning opportunity for it.