Fixes #7: Makes sure that the encrypted partition is decrypted before running
Addition to #7: corresponding documentation
Addition to #7: corresponding documentation (more info)