Since the so-called Discovery-Cirrus-Sprint actually is a sprint used for search work, which may or may not actually be related to the CirrusSearch extension, this morning I renamed Discovery-Cirrus-Sprint to Discovery-Search-Sprint. Except the name, this does not effect anything.