Rename sh-inferno to ish (cf iar) for shortness.