> Yes, those are the titles of those bugs *now*, after I noticed the > problem in the list. Check the original bug titles as submitted. :) FWIW, this was due to an issue with reportbug which was recently fixed (#323801). b.