Plasma 5.20 released

Mwah, tjere were some real behavioral changes, well beyond the previous few releases. Esp in the task manager but the desktop itself as well, and kwin has been improved a lot recently too. I am quite happy with it!

If only they would figure out how to make activities useful for non-techies...