Yes, NAT/PAT has to be done on your router. For Webif you can have a different port (e.g WAN TCP 50080 > LAN TCP 80) but for the stream you must have the port number (8001) as that's what is inside the m3u streaming playlist.
If for some reason you want to use a different streaming port then you have to edit a python file.