It is a spam bot.
Yes, I’d assumed as much even before I‘d sent my previous post.
The post I’d commented on was a meaningless, irrelevant one from a newly account created today. I was just curious enough to see if I’d get a meaningful reply from the new forum “member” (@solvbombwapla); the account was created in.
Realistically, I was 99.99% certain I wouldn’t get a reply.