Pinch the usage instructions from the Idris wiki