Looks like @bernardcollin hasn't received any replies!