I'm glad to hear we haven't lost you! However, I cannot find your mail to debian-private in *my* archives. I have not checked the official archives, perhaps there's a problem with my mail set up. Best wishes -- ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁ Jonathan Dowland ⢿⡄⠘⠷⠚⠋⠀ https://jmtd.net ⠈⠳⣄⠀⠀⠀⠀ Please do not CC me, I am subscribed to the list.