chore(*): add mathlib4 synchronization comments (#18662)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.category.Group.preadditive`
* `algebra.category.Group.zero`
* `algebra.char_p.quotient`
* `algebra.cubic_discriminant`
* `algebra.gcd_monoid.div`
* `algebra.monoid_algebra.division`
* `algebra.star.chsh`
* `analysis.convex.basic`
* `analysis.convex.extreme`
* `analysis.convex.hull`
* `analysis.convex.strict`
* `category_theory.adjunction.opposites`
* `category_theory.category.Twop`
* `category_theory.elements`
* `category_theory.glue_data`
* `category_theory.localization.opposite`
* `category_theory.localization.predicate`
* `category_theory.monoidal.discrete`
* `category_theory.monoidal.linear`
* `category_theory.monoidal.transport`
* `category_theory.sites.pretopology`
* `category_theory.sites.spaces`
* `combinatorics.derangements.finite`
* `combinatorics.simple_graph.matching`
* `computability.primrec`
* `data.mllist`
* `data.mv_polynomial.cardinal`
* `data.mv_polynomial.division`
* `data.nat.choose.factorization`
* `data.nat.factorization.basic`
* `data.nat.factorization.prime_pow`
* `data.nat.totient`
* `data.polynomial.degree.card_pow_degree`
* `data.polynomial.mirror`
* `data.polynomial.partial_fractions`
* `data.polynomial.splits`
* `data.set.list`
* `data.set.pairwise.lattice`
* `linear_algebra.affine_space.midpoint_zero`
* `linear_algebra.affine_space.ordered`
* `linear_algebra.affine_space.pointwise`
* `linear_algebra.direct_sum.finsupp`
* `linear_algebra.direct_sum.tensor_product`
* `model_theory.basic`
* `number_theory.lucas_primality`
* `order.upper_lower.locally_finite`
* `representation_theory.maschke`
* `ring_theory.adjoin.fg`
* `ring_theory.localization.module`
* `ring_theory.mv_polynomial.weighted_homogeneous`
* `ring_theory.polynomial.basic`
* `ring_theory.polynomial.vieta`
* `topology.algebra.polynomial`
