Remove obsolete documented requirement of praef_transactor_deadline().
Remove obsolete game design documents.