General housekeeping, documentation improved and other bits. Nothing special.