More small documentation changes
More small documentation changes; add missing documentation files