Slate Config

• The Mods page can pin mods: the pin on a mod's card, or a right click on the card, puts it under "Pinned" at the top of the list. Pinned mods stand in the order you pinned them; the same pin takes a mod out again (suggested by Starcage).
• The Mods page has a Sort choice: by name, or by last modified, which puts the mod whose config files were changed last first and says when on each card.
• The Mods page can hide libraries: a switch (off by default) leaves out the mods that are only libraries or APIs for other mods. Pinned mods stay, the search still finds the hidden ones, and the end of the list says how many are hidden. A library is marked "Library" under its name.
• A right click on a mod's card opens a menu: pin, the mod's editors, its description.
• Pins, the order and the library switch are remembered (config/slate/config.json).
• On a narrow page a mod card shows Configure as its icon, so the mod's name is no longer cut off after a few letters.
• New rows for Slate Core's new options: "Smooth corners" and "Pointer" under Interface > Look, "Pencil button" under Interface > Development and on the Developer page.

Slate modules need the Slate Core of their own version: update all of them together.