[tde-users] Apt sources generated for Devuan distribution names