On Sun, 11 Jan 2026, Jonathan Schleifer wrote:
I propose to remove it, as I can't imagine there are any users of it. The last upstream release was 10 years ago and the pkgsrc package was neglected for even longer.
Sounds fine. -- Benny