The code edX uses to generate certificates