I am working on adding Compat as an Eglot dependency, which has a manual
compatibility definition for 'progress-reporter-update'.  I think we
could add it to Compat as well.  How does this look like?