Using Embed Tool - Registering a client application the example File should use the right Fileextension

Working myself through the embedding of a Dashboard into a 3rd party application. At the end you can download a power bi example for visual studio. The file extension there is TXT. After having a look on the TXT File and some research I realised it is a zip file that can be extracted. Can you fix this ?