In the notebook, and description of the board object,

"double tap F4 no longer works, as the index of the zone tool changed in update 10.9 -- the pixelpaint tool is gone. It is now "double tap F3"