chiark / gitweb /
Document in Description that we process some other font sizes too.