If they mean something more than just HTML5, figure out what exactly they mean and decide about that.