Meanwhile, my employer decided to switch from a self made Linux platform (with it’s pitfalls due to the usual “it’s free, why should we put so much money into maintenance” reasoning) to Microslop. I and multiple other people warned them, again and again.