Hi, here's the Debian auctex package maintainer. Upstream AUCTeX recently switched to debbugs.gnu.org, and I would also like to use reportbug to interact with GNU debbugs installation if possible. Do you have any update on the status of this bug? -- Thanks, Davide