main
Better sidebar for v5 navigation
Fix types reported in latest next version
sort all imports via eslint
only one worker for REPL
Upgrade doc website to next 15 (#2092)