--highlight-word on Fin acceptance
autfilt
currently contains the following:
if (aut->acc().uses_fin_acceptance())
error(2, 0,
"--highlight-word does not yet work with Fin acceptance");
I don't think we need this error anymore, do we?