playground categories and doc update

This PR adds categories to the playground menu and fixes some documentation glitches (at least those I quickly detected on the first pages..).