v5.1.3
Better sidebar for v5 navigation
migrate old doc component into [version] pages
Upgrade devtools and fix worker
only one worker for REPL
Upgrade doc website to next 15 (#2092)
Optimize SEO (google verification, canonical, noindex)