rocon_ebnf sphinxed.