Looks like @bartjan hasn't received any replies!