Slightly more concise timeout-deploy language