Right now we focus on video/gif export as this is what absolute majority of our users do. So the exported video is exactly the same as what you see in the editor, if it's not then it's a very critical bug and it gets fixed right away.
HTML5 export follows behind mostly because of our outdated html5 player. We are working on new one which supports all our new features, but it's being delayed. In practical terms it means that unfortunately some bugs or inconsistencies in html5 player cannot be fixed short term, but will definitely be taken care of when we release new player.