chore(*): add mathlibport comments (#17642)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following PRs:
* https://github.com/leanprover-community/mathlib4/pull/563
* https://github.com/leanprover-community/mathlib4/pull/608
* https://github.com/leanprover-community/mathlib4/pull/627
* https://github.com/leanprover-community/mathlib4/pull/638
* https://github.com/leanprover-community/mathlib4/pull/641
* https://github.com/leanprover-community/mathlib4/pull/645
* https://github.com/leanprover-community/mathlib4/pull/650
