Are the voice files zipped?

[recomm61]

This is my first time posting here. I am a newbie to Linux. Question: As the subject line states. I asked because when I downloaded it it looks like this:
'cy_GB-bu_tts-medium.onnx?download=true'
I thought it should be like this,(obviously a different name), en_US-amy-low.onnx

[TikoTako]

rename it without the ?download=true
it happens with wget