Как установить анимацию GIF для иконки окна Linux и управлять ею

Вы когда-нибудь задумывались, что иконка окна в Linux — это не просто статичная картинка? Обычно мы привыкли, что значок приложения — это что-то застывшее, вроде логотипа на панели задач. Но что, если я скажу, что её можно оживить, превратить в настоящую анимацию, да ещё и управлять этим процессом на лету? Звучит как магия, но на…