Yes, "don't hide the pause button after unpause" see commit 77a29b5. Happened if you play / pause / play / pause.