In the Lua docs for 1.13.7, in the "3.7 Saving Game State" section, there is a link on "File APIs" (If you need greater flexibility, you can use any of Playdate’s File APIs.))
The anchor for this link is #files
. But the actual anchor name is #file
(singular).