Python script to batch-create multiple profiles for new gnome terminal using dconf, based on ini specifications.