Added some handy aliases, fix history search, fixes in php install script