HTML main tag officially removed