I wonder why in the official devbox guide http://devdocs.magento.com/guides/v2.1/install-gde/docker/docker-phpstorm-project.html is advised to set <DevBox root folder>/shared/webroot/pub as project root. In that way, I'm not able to develop anything in PHP storm. How to properly set it?
