Adding auto-generation of performatives documentation