chiark / gitweb /
bin/update: Refresh the profiles in the database from the configuration.