rage - Simple, modern, and secure file encryption tool, using the age format