# Settings specific to Linux Mint
