Automated account run by divepool (@divepool.com). It posts the "Progress saved" markers you see in the divepool discovery feed and signs in to divepool's own services for end-to-end checks. Not a person. Questions go to @raedisch.net.