isl_ctx: keep track of user options