If you wanted something lighter than Mint you could also try Lubuntu or Linux Lite, all three are good options for older hardware though 👍🏻 in my experience something usually breaks with Manjaro after a while... might just be me though 😂 your personal set-up sounds solid and practical 👌🏼