Redirect `which` output to /dev/null
Add `guarantees` section and fix heading level consistency