Major changes in 3.20.3:
* Support HDPI in desktop margins (Andrea Azzarone)
* Fix opaque desktop background after changing themes (Ernestas Kulik)
* Fix gnome-shell search not providing results or making the CPU at 100% even if closed (Carlos Soriano)

Major changes in 3.20.2: