Tweaks for presentation in the NoDb documentation