chore(*): add mathlib4 synchronization comments (#18393)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.char_zero.quotient`
* `algebra.periodic`
* `algebra.star.self_adjoint`
* `combinatorics.additive.ruzsa_covering`
* `combinatorics.set_family.kleitman`
* `combinatorics.young.semistandard_tableau`
* `data.dfinsupp.order`
* `data.fin.tuple.bubble_sort_induction`
* `data.multiset.fintype`
* `data.nat.part_enat`
* `data.pnat.factors`
* `data.setoid.partition`
* `data.sigma.interval`
* `group_theory.double_coset`
* `group_theory.perm.subgroup`
* `measure_theory.measurable_space_def`
* `order.heyting.hom`
* `order.hom.complete_lattice`
* `topology.G_delta`
* `topology.algebra.order.archimedean`
* `topology.algebra.order.compact`
* `topology.algebra.order.extr_closure`
* `topology.algebra.order.intermediate_value`
* `topology.algebra.order.monotone_continuity`
* `topology.algebra.order.monotone_convergence`
* `topology.algebra.order.proj_Icc`
* `topology.algebra.order.t5`
* `topology.algebra.star`
* `topology.continuous_function.basic`
* `topology.instances.sign`
* `topology.order.priestley`
* `topology.perfect`
