Notes concerning “Hammers”

• Hammering toolhead 2017-08-18 (6 minutes)
• Electric hammer 2018-07-02 (updated 2018-07-05) (14 minutes)
• Shaped hammer face giant pressure 2019-11-10 (21 minutes)