As much as I'd like that code to be shared, it's the authors decision in the end. Think of it as being a margin too small to write the proof.