Re: [m17n] skim and option reloading