merge FernetMenta@b96e936 and adapt the rest of the code to use it