Update main packages

We updated the main packages to their latest versions and briefly tested
them.

We also cleaned up the documentation for ground-floor a bit, notably to
remove all mention of nibble.