Looks like @gautierl hasn't received any replies!