// install.php: Better doc link.