thm pushed to perl-Monotone-AutomateStdio (f22). "Update to 1.10. (..more)"