li>
            <li class="nav-group-name">
              <a href="../../Other%20Extensions.html">Other Extensions</a>
              <ul class="nav-group-tasks">
                <li class="nav-group-task">
                  <a href="../../Extensions/BatteryStatus.html">BatteryStatus</a>
                </li>
                <li class="nav-group-task">
                  <a href="../../Extensions/Bool.html">Bool</a>
                </li>
                <li class="nav-group-task">
                  <a href=".