Re: Remove games/spider?

[Klemens Nanni]

On Thu, Feb 18, 2021 at 10:15:06PM +0100, Christian Weisgerber wrote:
> I feel I'm wasting time providing life support to a museum piece.
> Can we just remove it?
OK kn