@keolo Nope, this should be a glitch I introduced when I rebased/merged the master head at that time.