Remove htmlmainelement.rs again (re-fixes #2541).