The manual actually tracks the current builds, not the releases. I’m not sure if we keep an old copy of the 3.13 manual around somewhere.
It usually doesn’t matter too much though, since we don’t usually have a manual build ready until a port is mostly complete, at whhich point things like battery life and a few new features may be added, but install directions, button layouts, etc don’t change much if ever.
