Looks like @zohier hasn't received any replies!