JENKINS-42443 introduced spinners for dropdowns. But when a drop down triggers an ajax request for a content area, especially in /pipeline-syntax/, there is no spinner. That area can take a long time to load, so it really should provide a spinner.