close #159 close #72 listen to HTMLMediaElement's play/pause events, and replay them by programmatically play and pause the target element.