- Some changes to the update.php script: revised the instructions a bit,
  added some logic and a link to "upgrade 4.0.x to 4.1.x", etc.