Documentation correction: this page currently says "To enable the Playdate extension, double-click on the Playdate.novaextension file in the SDK’s bin folder."
The novaextension doesn't seem to be in that folder as of 1.9—but you can find it within Nova (Extensions > Extension Library, search for playdate). Nova integration seems pretty nice so far!