It seems a recent firmware update made it possible to hot swap SD cards - no need to power down the printer anymore if you want to access recently printed projects or gcodes from the desktop computer (although I still wish Bambu Studio let me download everything directly).
…or at least I seem to remember hot swap didn’t work before (it even reads “cold swappable” under the SD card slot)
Maybe of interest to someone…