frontend.sv.gnu.org:/var/www/savane/frontend/php/include/init.php frontend.sv.gnu.org:/var/www/savane/frontend/php/include/account.php (the repository being GIT of http://savannah.gnu.org/projects/savane-cleanup).
Thanks very much, Ineiev. I fully agree with your proposed changes. If there are no objections from others within a few days, please go ahead and install them. We can surely consider other changes in the future, but these at least seem like no-brainers to me. karl