a) I've disabled the bit that automatically reopens closed issues b) I've disabled the fancy text search engine that Roundup likes to use, with the result that search now mostly works again (ie searching all text for 'merge' now gives ~700 results instead of only 9) -- Mathematics is the supreme nostalgia of our time.