Subject: bug#66556: 30.0.50; Missing choice in eglot-report-progress :type

From: Mauro Aranda <[email-masked]>
Date: Sun, 15 Oct 2023 10:40:30 -0300

The docstring for eglot-report-progress says it value may be messages,
but its :type is just boolean.