Hi. You probably have noticed it already. Plasma 5.14 coming. Usual "be-careful-with-apt-dist-upgrade" hints apply. Thanks, -- Martin