nextra-theme-docs patch BREAKING! various theme config options was renamed, take a look of renamed options here