Patch by Dan Liew: "EBNF for constant array initialisation in KQuery documentation improvement."