Linux Mint 19.3 will be codenamed “Tricia” and released before Christmas