Hello Pierre,

FWIW there is even simpler: I maintain a backport on
www.backports.org. Which is a semi-official service driven by Debian
Developers.

good to know, maybe I am going to use backports in the future.

        Thomas