-
intrigeri authored
This reverts commit d99ae41d: - This has been broken since 4.5 months. - The most we could expect from this extra feature is to give a tentative answer a few minutes earlier. But regardless of that answer, we still have to wait these few minutes anyway in most cases, so this does not buy us much. ⇒ I don't think fixing this is worth our time. Closes #17749
1cb85fe5