Fetch idomenu directly from emacswiki