🤖 docs: Simplify scripts.

Replace querySelectorAll(...)[0] by querySelector(...) in docs scripts.

These changes were automatically generated by a transform whose code can be found at:
  - https://github.com/make-github-pseudonymous-again/rejuvenate/blob/9b50c2a1d7e9ab7b4bc9c9ff88892e98c5f62244/src/transforms/codemod:doc-scripts-header-replace-querySelectorAll.js
Please contact the author of the transform if you believe there was an error.

Author: a-flying-potato

doc/scripts/header.js

@@ -13,7 +13,7 @@ domReady(function () {
 	projectname.text = 'data-structure/skip-list';
 	projectname.href = './index.html';
 
-	const header = document.querySelectorAll('header')[0];
+	const header = document.querySelector('header');
 	header.insertBefore(projectname, header.firstChild);
 
 	const testlink = document.querySelector('header > a[data-ice="testLink"]');