Deleted the old index.php and renamed index2.php to index.php. From now on,
I will overwrite the past version of index.php with newer versions (and save
the old ones with help of keys).