新しいiPad miniはiPad mini (5th Generation)もしくはiPad mini（第5世代）と呼ぶのが、サポート名称上の正規表現みたいです。