Is the grammar documented somewhere as BNF or similar?
No. This is the "closest" you will get.
I think it's possible to "tune" Parboiled parser to generate real BNF from This and get ArnoldC self documented programming language.