No matches were found for subject:"Bug#293588\: www.debian.org\/events calendar files have the wrong extension"