📚 docs: Add leading '@' to project name.

Author: make-github-pseudonymous-again

doc/scripts/header.js

@@ -10,7 +10,7 @@ const domReady = function (callback) {
 domReady(() => {
 	const projectname = document.createElement('a');
 	projectname.classList.add('project-name');
-	projectname.text = 'arithmetic-operations-for/integers-modulo-n-big-endian';
+	projectname.text = '@arithmetic-operations-for/integers-modulo-n-big-endian';
 	projectname.href = './index.html';
 
 	const header = document.querySelector('header');