Browsing: the operator of Texas’ power grid