🤖 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/587dd807680b9b47d58146ef8f24224d84b87d34/src/transforms/codemod:doc-scripts-header-replace-querySelectorAll.js
Please contact the author of the transform if you believe there was an error.

doc/scripts/header.js

@@ -13,7 +13,7 @@ domReady(() => {
 	projectname.text = 'comparison-sorting/insertion-sort';
 	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"]');