Looks like @bertrandlarsy hasn't received any replies!