scripts use for public-inbox development that don't belong in t/