So apparently Dolphin has a mass-rename feature and it is *almost* useful
Small server part of the pixie.town infrastructure. Registration is closed.
