Dulcinea's repository name changed from gunnhacks-lol to
dulcinea
.