Add 23.1 support for ido-everywhere