Would this remove everything from `[admins` to the end of the file?

maybe we better use an ini parser here and just delete the whole `[admins]` section there?