gregor herrmann: > On Thu, 03 Aug 2017 20:46:25 -0400, intrigeri wrote: >> > so perhaps a candidate for removal? >> Definitely IMO. I'll file the RM request if another team member >> approves (nobody objected to Niko's suggestion in 8 months). > $approve++; Done: https://bugs.debian.org/870709