How to set HTTP User-Agent for VLC?

$ vlc 'http://wiki.videolan.org/' :http-user-agent='FooBar/1.2.3' seems to do the trick (replaced -- by : and put the attribute after the url). I guess this is probably the way how the windows version expects the attributes, since in the GUI, you also have to add those attributes starting with : (I've only evaluated this from the VLC debug logs)

I was able to set the User-Agent only using a LUA script: (where the command line methods didn't work)

$ cat play.lua 
#EXTVLCOPT:http-user-agent=Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_5) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/76.0.3809.25 Safari/537.36
#EXTVLCOPT:http-referrer=https://playme.com/i-came-from-this-page-i-sware
https://playme.com/give/me/this/file/169839.mp4?token=my-token

$ VLC play.lua