chiark / gitweb /
remove parse_separate, which we may want to put back later