I'm okay with it. I don't think anyone else would object to letting IPv4 be the default.