No matches were found for subject:"Bug#236773\: packages.debian.org\: package shortcut for packages with \+ doesn't work"