Package: proofgeneral Version: 3.7-4On startup, proofgeneral displays a splash screen and goes into a busy wait loop that causes Emacs to use 100% CPU, Xorg to use about 50%, and parts of the Emacs window to flash very quickly. This persists for 10 seconds or until the splash screen is dismissed.
The loop in question is proof-splash-timeout-waiter in generic/proof-splash.el.