chore(*): add mathlib4 synchronization comments (#18726)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebraic_topology.dold_kan.compatibility`
* `category_theory.shift.basic`
* `category_theory.sites.sheaf_of_types`
* `category_theory.triangulated.basic`
* `combinatorics.additive.e_transform`
* `computability.regular_expressions`
* `data.fin.tuple.reflection`
* `data.finset.interval`
* `data.list.intervals`
* `data.matrix.basis`
* `data.matrix.block`
* `data.matrix.char_p`
* `data.matrix.dual_number`
* `data.matrix.hadamard`
* `data.mv_polynomial.expand`
* `data.mv_polynomial.monad`
* `linear_algebra.isomorphisms`
* `linear_algebra.matrix.orthogonal`
* `linear_algebra.matrix.symmetric`
* `linear_algebra.matrix.trace`
* `logic.hydra`
* `ring_theory.finite_type`
* `ring_theory.rees_algebra`
* `ring_theory.zmod`
* `topology.algebra.module.basic`
* `topology.uniform_space.matrix`
