Fix #16: Manually resolve the obsolete (or) that used ido-separator