chore(*): add mathlib4 synchronization comments (#18889)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebraic_topology.nerve`
* `algebraic_topology.simplicial_set`
* `analysis.convex.stone_separation`
* `category_theory.action`
* `category_theory.limits.filtered_colimit_commutes_finite_limit`
* `category_theory.noetherian`
* `category_theory.preadditive.projective`
* `category_theory.simple`
* `category_theory.sites.adjunction`
* `linear_algebra.free_module.finite.matrix`
* `linear_algebra.matrix.basis`
* `linear_algebra.matrix.block`
* `linear_algebra.matrix.diagonal`
* `linear_algebra.matrix.finite_dimensional`
* `linear_algebra.matrix.invariant_basis_number`
* `linear_algebra.matrix.to_lin`
* `linear_algebra.matrix.transvection`
* `linear_algebra.matrix.zpow`
* `topology.algebra.module.multilinear`
* `topology.algebra.module.strong_topology`
* `topology.algebra.uniform_convergence`
* `topology.category.CompHaus.basic`
* `topology.category.CompHaus.projective`
* `topology.category.Top.limits.basic`
* `topology.category.Top.opens`
Author
github-actions[bot]
