Documentation should be improved in the org-mode files in the org directory. - [ ] Insert documentation between the code blocks where documentation is missing. - [ ] Go through all the org-mode files and check that the HPC variants of the kernels are _not_ exported to HTML. Only the documentation variants should be. - [ ] Improve the english in the documentation text Important: Only git add the files that are org-mode files, in the org directory.