🤖 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/7a92df9c28303ed9cd6ee1a5e4999acfc8c52497/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(() => {
 	projectname.text = 'compression-algorithm/lempel-ziv';
 	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"]');