docs/1.readme_installation.html should indicate the minimum version of PHP required (now that this is enforced as of rc2).