Add a link to a blog post about this project.
Add buttons to move up and down.
Uncheck "hide floor" on startup.
Add something to look at when the floor is hidden.
Suppress default keyboard handlers.
Add a checkbox that hides the floor.
List idris2 packages this depends on.