Kai Uwe Broulik authored Jul 01, 2022 and Fushan Wen committed Jul 17, 2022

The player might not have been in the DOM in the first place
(e.g. an audio player), so just checking for whether it is in the DOM
at the end looks like a nice optimization but often ends up just
considering the player gone when *any* DOM element got removed.