chiark / gitweb /
exp_search, fold search into choose, not really finished