Do all our Byteman rules have the .txt suffix?