Hm, I notice my question above has been raised earlier, for example here:
https://kanboard.discourse.group/t/hide-archive-old-tags/885
However, apparently nobody took up the ball.
As we are about to decide to use kanboard in our company, there might be a budget for implementing this.
Anybody interested?