With attention on the play button I noticed that it does not stay
down whilst audio is playing, unlike record button. Seems wrong to
me, but it's been this way for a long time.
I changed it so it does stay down now, r12443. Asking here though,
just in case most people think the old behaviour was better??