No dependence on menhir in the _tags file.