The operator's server contract expires at the end of August. This fixes <https://bugs.torproject.org/31357>.