Test bot: deal gracefully with non-Unicode characters

This PR includes an unrelated formula that triggered the bug this is meant to fix; I'll remove it when I merge.