@gruber I also like to manually update my apps and check release notes. Today is a day it pays off, because the latest Mint Mobile update is a banger.