Revert "Remove ido-ubiquitous removal."

This reverts commit 02a27201201adfb4e3db9d5f58104624c139d076.