Update iodeOS

Which version do you expect to find? Or is your question about the search not working? (→ Could be a server issue)