chiark / gitweb /
install: default to minimal realization mode