Looks like @fdoluque hasn't received any replies!