Installation of postgresql-9.3 documented.