Sono riuscito a mettere un redirect, devo ammettere che mi stavo già preparando la lista delle bestemmie da tirare

ma alla fine è stato più semplice del previsto. Non è più necessario correggere i bookmark o i vecchi topic con il vecchio indirizzo.
Non so se è legato a questa migrazione, ma in appset non vedo più le notizie... 
Senza tenere conto del fatto che tanto AppSet non è più il gestore grafico ufficiale dei pacchetti, le notizie hanno l'indirizzo del feed completamente differente (quindi sì, è legato alla migrazione). Ma non so se vale la pena avvertire i dev di questa modifica, probabilmente AppSet non lo considerano più.
Ah, vorrei aggiungere le mie scuse per questo ritardo nell'implementare un redirect, ma non avendo mai studiato il PHP non sono riuscito a farlo subito.