I suspected so, looking at the post history, but figured I’d put a comment mentioning proper tagging in case they are a real person.