Personally, speaking as a search user, all I want from Google regards AMP is a setting that disables it in search results. Google's results ordering is already

Personally, speaking as a search user, all I want from Google regards AMP is a setting that disables it in search results. Google's results ordering is already sufficiently "optimized" away from my needs that as often as not I end up in 'verbatim' mode or on page 3 of the results before I get near what I'm looking for, so an extra layer of SEO-gameable "user convenience" isn't likely to make my google experience that much worse. Since the presence of AMP results is based on device detection, it seems a search setting removing them would be a simple matter. Google's unwillingness to provide it speaks volumes about their actual intent, IMO.