Update test results
Typos
“Kernel” instead of “OS”
Small fixes
Avoid `\autoref`