"There’s no need to manually create indexes on columns already declared unique; doing so would just duplicate the automatically-created index."
Is the last part real? Makes me feel like forking postgesql just to save the world from accidental duplicate expensive indexes.