throw -> rep_top_level_exit runs rep hook:
#
server-net-exit (lambda () (map-windows unmaximize-window-1)) # ) session
:: customize-write-user-file ??
window-history-save ?? viewport-before-exiting gnome-exit
and then remove_window (w, False, False);