The software used is a trivially modified version of the one powering math.kleen.org.
The title is without deeper meaning.