Looks like @jeuxdeau hasn't received any replies!