window.onload = function() {
    if (window.location.pathname !== '/docs/overview') {
      window.location.href = '/docs/overview';
    }
};