missing button mentioned in documentation

According to the documentation, there is a pin mode playing mode (see http://manual.audacityteam.org/man/playing_and_recording.html for details).
However, in my Audacity I don’t see such button.

Audacity version 2.1.2
OS Ubuntu 14.04
screenshot.png

That’s the manual for the current “Audacity 2.1.3” release.

The 2.1.2 manual is available on-line via WayBack Machine.
This is the relevant page: Playing and Recording - Audacity Manual
and this is the home page for the 2.1.2 manual: Audacity Manual