Hi! I used this frequently enough to be hesitant to let apt dist-upgrade remove it on my system currently.
But I understand it may not make sense to port it as its hard and upstream is not active anymore. Is there an alternative in Debian repository? Best, -- Martin
