Besides the ideological issues, is the HTML tag for AMP emails seriously going to be <html 4email> (html lightning-emoji4email)?

I wish they implemented this as a separate MIME type so emails could specify multi-part messages with text/plain, text/html and a text/amp (just for gmail).