"I discovered this working on code that grades student submissions at edX"

It sounds to me like the guy who submitted 40k spaces is the one who discovered the bug ;). Congrats on getting your patch accepted though!