BuiltIn: Little doc cleanup.

- Use Unicode escapes instead of module level encoding with non-ASCII chars.
- Whitespace in examples.