HTML5: a devil in disguise