A choir sang in earnest in the music, and people cheered for them.