nextra nextra-theme-docs patch patch fix edit on github button for cases when filename named as index