Check LyXHTML export