Hello, I'm wondering. Why is Ubuntu and Mint only using SHA1 for Full Disk Encryption? I heard several times that SHA1 shouldn't be used anymore because it is weak and it could be cracked. Could you guys explain me why we should use the default GUI encryption if we can just encrypt the system over the terminal with like SHA512? I'm I paranoid or is it just a lie that SHA1 has been broken?