v0.05: Add pagination, fix filters

This version changes GL to use short pages of items rather than a long list. This is much faster, and lets filters update the page instantly (instead of having to wait for you to apply them). A downside is that there's currently some minor issues when you go beyond the first or last page, because a page is defined by the first (or last) item it should display, rather than a "page number" (which doesn't really exist when filters can change the number of items before a page).

Generally, people seemed to like this change.

In addition to the above, the level filter now actually works. It didn't do anything, previously.