Actually, I got this behavior off and on yesterday – I was watching the 50 tips on Blender 2.8 and some of them downloaded with correct names whilst others got the weird xxx.bin names. Not sure what the connection is though.
Thanks for looking into this.
