docs/elements/bd_pneumatic_hammer.txt

   1 Sometimes diamonds or keys are buried in walls. You can use a pneumatic hammer
   2 to break these walls, or simple walls which contain nothing. Stand on something,
   3 and press the snap or drop key together with a left or right direction key to
   4 use the hammer on a wall which is near the player, next to the element you
   5 stand on.