Journal 2025-05-10

Setting up Linux Mint.