Some dev configuration files; nothing special here