Update docs/spec-pt.md
Update docs/examples.md