chore(*): add mathlib4 synchronization comments (#18314)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.group_ring_action.subobjects`
* `algebra.quandle`
* `data.bitvec.core`
* `data.bool.count`
* `data.enat.basic`
* `data.fin.interval`
* `data.fin.tuple.monotone`
* `data.finset.locally_finite`
* `data.finset.pi_induction`
* `data.fintype.fin`
* `data.int.log`
* `data.int.parity`
* `data.nat.interval`
* `data.nat.parity`
* `data.pfunctor.univariate.basic`
* `deprecated.submonoid`
* `group_theory.archimedean`
* `group_theory.group_action.basic`
* `group_theory.subgroup.actions`
* `group_theory.subgroup.basic`
* `group_theory.subgroup.mul_opposite`
* `group_theory.subgroup.zpowers`
* `order.filter.interval`
* `order.locally_finite`
* `order.partial_sups`
* `topology.basic`
* `topology.bornology.basic`
* `topology.bornology.constructions`
