Updated doc on grammar for ignorable rules