* Attempting to set DOCS list from commandline didn't work.