Version 26

This is a big release, intended for gnome 40 and 41.

It adds:

• support for workspace animations blur (thanks to @Schneegans!)
• stable support for dash to dock
• some bug fixes, especially after recovering from sleep