This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Add editorial note that mentions indexing vs query time ignore option. (indexing being out of the control of the spec)
The TF agreed to add a note to 3.4 FTIgnoreOption.
Closing with Michael's consent.