chiark / gitweb /
infra: Provide get-dm-txt