chiark / gitweb /
Always use machine size / 2 as machine center and remove the setting. Also fixed...