chiark / gitweb /
Update naming and labeling for tool heads and hotends