post_install() {
  echo ''
  echo '==> To enable WTMB (Window Thumbnails):'
  echo '==> Reload Gnome Shell with Alt-F2 r (on Xorg), logout -> login (Wayland)'
  echo '==> Enable it with the extensions tool'
  echo '==> or run "gnome-extensions enable window-thumbnails@G-dH.github.com"'
  echo ''
}