Linux Mint 19.2 veröffentlicht: Viel Feintuning und schnellerer Desktop