Hi! I just upgraded from Debian 12 to Debian 13. Debian 13 apparently uses a tmpfs file, instead of the 2 Gb /tmp partition which I was using on Debian 12, and which is no longer mounts automatically. So, can/should I delete the old Debian 12 /tmp partition? And if so, what is the best (safest) procedure to do that?