Remove idomenu code; jump-dls has superceded it