Hi Arnout, On Sat, Oct 21, 2017 at 9:50 AM, Arnout Vandecappelle <arnout at mind.be> wrote: > If you're OK with this I can remove the option while applying, no need to > respin just for this. Go for it, same goes for tini. Best, Christian