GoProof Extension Message and Deadlines