Doc: rename top.txt -> toplevel.txt