3 ms·

Thank you, but this is not it. It was an end-user distro, just used Docker images instead of a normal package manager.