Quoting Jaromil (jaromil@???):

> the difference here is that Devuan is not an organisation, a company,
> a corporation or an IT management dept; but a community driven
> GNU+Linux distribution where we are all unpaid volunteers devolving
> free time in exchange of quality (both on the technical level and the
> human interaction).

All very true and wise, and I commend this attitude of putting human
concerns first, always.

At the same time, it still remains true that small problems if not timely
addressed tend to turn into big ones, as I was suggesting.