See https://lists.torproject.org/mailman3/hyperkitty/list/tor-dev@lists.torproject.org/thread/6EWLF4BJ7B53G7KOJB56WMUIJJPZD3RO/