Decided I needed a new keyboard shortcut to quickly enter "iPadOS 13.1.” I chose to use “ipos."