chiark / gitweb /
Add infill speed setting.