assumedpseudonym 24 Apr 2022:

 I’ve let George know about this. This ticket should be removed soon.