I haven't found much info regarding this although I'm sure it has been brought up already, but I'll ask anyway

So say I join a public server and they intend to play a custom map I don’t have, does the game support me downloading that map while I wait in the server lobby or do I have to exit the game, go into Steam Workshop and download that map manually?
Thanks