Mention mi0 and mi1 as --interpreter options.