Can we please get a search bar In the playdate docs

[cat.like]

Adding this feature request because I've recently gone over godot engine as a secondary programing engine I found out they had that they have a search bar it's really helpful Can we get one for the playdate SDK docs