Match portal config filename to example config filename

For ease when people are following the step by step set up guide use the name of the file as it is downloaded.