<div dir="ltr">What happens if you try sticking your rule in the config file as a special single-purpose new tag? Does the rule work there but not on the CLI?<br clear="all"><div><div class="gmail_extra"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">gwern<br><a href="https://www.gwern.net" target="_blank">https://www.gwern.net</a></div>
</div></div></div>