How should we handle the placement of # audit-ignore?

[moritz-gross]

see discussion in #742

[moritz-gross]

@daisy/mathcat-translators

I've never created a poll here on GitHub, so let's take the opportunity to try this out ;)

[hammera]

I selected the both two option, but me full good the first option or the both two option (depending how many people voting the final selected change). If more people choose change the working method and migrate, I will be doing welcome the # audit-ignore related migration with hungarian rules related.
Moritz, works perfect this voting possibility, me easy usable with Orca.

Attila