Is HTML5 safe to download?