A modern retrospective on probabilistic numerics