TODO List for for Debian package
--------------------------------

 * Activate an autorestart button just after a new version has been installed.
