chiark / gitweb /
extract-profile.in: Allow empty sections.