Galaxy hosting clarification


Does galaxy load balancers (for scaling) use hatop, nginx or something else? I will probably have many users probably behind only a few ip addresses. I assume nginx sticky ip address won’t work to load balance between multiple servers since 80% might be one external ip.

Is there any additional code I need to know about scaling on galaxy besides writing efficient code? Do I need to add a package etc…?

I saw a post complaining about reboots, is this over?

SInce Galaxy is on AWS (AFAIK) can I use EFS with Galaxy for file hosting or is S3 what I need to do (is this what everyone does)?