[grzm]

It doesn't look like it. If the account were shadowbanned the comments would be tagged "[dead]". It looks like they're often low-effort or unsubstantial comments of the type that would be downvoted anyway.

[mirimir]

OK, maybe so. The recent run of grayed out comments seemed suspicious. But yes, it's only been a couple months since that started.

Edit: That's some good stuff in your profile :)

[grzm]

Thanks :) I have it in there as much for me as for anyone else. I find myself referring to it every couple of weeks or so, just as a refresher.