A personal audit of restic cryptography (2017)