Document `ExecutionContext` a bit more.