The auxiliary annotation is used to set an annotation on an element that you can later test for. The Migrate conversion ignores this annotation, but you can create other rules that will look for an auxiliary annotation as part of its condition.
An example of its use is to set an auxiliary annotation on a span, such as auxiliary(is-note), and then test for this annotation's presence on the span at the paragraph level