NixOS manual: show the entire TOC; remove the side bar