oh ok then, thanks Carlita! I just thought there is a system or some sort of automatically generated banned users list available to admins and mods so that forgetting some posters shouldn't be a problem, just to be fair to all, but it seems it's more complicated than that
well the temporary banned users we can see at a glance. The list of permanently banned users has become endless over the years
so unless we know who we're looking for it would take hours to see who got banned when.
Then we have our own list in our own forum. I just checked the last few pages for the most recent "cases"
and put those in the thread.
Basically it's: ban, post in admin who/why/how long and then, if it's a well known poster update the thread. Of course there can be many factors why one of those steps is "forgotten".