QuickSpec: add documentation