i somehow accidentally turned on an fps counter and thought the manual would say how to turn it back off, but it doesn't seem to. it would be nice if the manual documented this and any other potentially undocumented shortcuts

(i managed to get it to turn off by closing and relaunching pico-8)

It is mentioned in the changelog section (in v0.1.9b under Version History) but yeah I agree it does seem like it would make sense to have this be listed in the actual manual part of the manual :)