Re: [NTG-context] theorem environment: Is *enumeration* or the `annotation` module recommended?