I enjoying using the iPad Pro 11” with its larger screen size in a familiar form factor do to FaceID. I was hoping the same with the recent release of the 5th generation iPad mini but was disappointed. Anyone holding out on purchasing or upgrading their iPad mini until such implementation of FaceID?