Dashboard sorting

* Hide directories beginning with `_` (#5152)
* Case-insensitive sorting (#5151), including an attempt at locale-aware sorting, although this doesn't pick up obvious characters like é on my machine.

Possibly ordering should be done by the frontend, but we're already relying on the order from the API to get index.ipynb and directory names before other things.