The docs for playdate.getStats mention a table with keys named, "kernel", "game", and "audio", but when getStats is run on a device the table's key names are, "GC", "game", "audio", and "idle". Anyone have more information about those values?:
On a related note, the formatting of the example table in the docs has some weird padding in the CSS that makes it look like the table's key names are prefixed with a space character: "kernel" looks like, " kernel".