Hi,
In the installation tutorial it is written that we should delete install.php after the installation. Should we do the same after an upgrade? I believe so, but it is not written in the upgrade tutorial and I just wanted to confirm. (If so, maybe you'd want to add it there.)