2017-10-22 12:40 GMT+02:00 Clément Bœsch <u at pkh.me>: > Removal was announced, people were aware, we got discussions, > but no one cared enough to do something about it. Wasn't the (only) question what should be done? Carl Eugen