Pretty close! Actually, someone was working on a short bash script for backing up some files, tried to remove some hardcoded values, had to use google to figure out how to get the information dynamically using `sysctl` and `system_profiler`, ended up on the Github page for neofetch, and thought "hey this is great, maybe this could be useful for other people as well!" and submitted it.
They have over 140,000 points, post multiple times a day and never write any comments. They sure look like a bot.
I've seen lots of profiles made around 2012 as well that post regularly but only have a tenth the amount of points as this one has.
Also, not sure why you're so quick to defend them. Bots are very common now a days. Its not unreasonable to assume most of the profiles that produce massive amounts of content on most social media platforms are bots.
Nothing prevents someone from posting under an account otherwise used as a submission bot. If you actually look where they're commenting, it's usually only on stories that they submitted.