docs: function determineSelectedBranch() {
    var branch = 'stable', path = window.location.pathname;
    // path is like /en/<branch>/<lang>/build/ -> extract 'lang'
    // split[0] is an '' because the path starts with the separator
    branch = path.split('/')[2];
    return branch;
  }