Playdate SDK for Linux?

Thank you! I've received my Developer Preview hardware so I'm gonna start playing with this all. :playdate_sideways_smile:. I downloaded the SDK and am reading through the docs now!

One question: is the simulator included in this release? I seem to have the pdc and pdutil binaries, but can't find the simulator.