On Sat, May 18, 2019 at 09:03:30PM +0200, Jan Beich wrote: > when portmgr@ made the decision[3] it didn't consult a lawyer If we are at the point where minor things have to be run by lawyers, I'm done. mcl