post_install() {
  echo ''
  echo '==> To enable TopIcons Plus:'
  echo '==> Reload Gnome Shell with Alt-F2 r'
  echo '==> Enable it with the gnome-tweak-tool'
  echo '==> or run "gnome-shell-extension-tool -e TopIcons@phocean.net"'
  echo ''
}