The site currently mentions "Web Root" twice and "DocumentRoot" twice. It says that one should run `php -S localhost:8000` from the "Web Root". Is the "Web Root" the same as the "DocumentRoot" (which is recommended to be the /public folder?