chore(*): add mathlib4 synchronization comments (#18094)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.bounds`
* `algebra.free_monoid.basic`
* `algebra.module.hom`
* `algebra.module.pi`
* `algebra.order.archimedean`
* `algebra.order.floor`
* `algebra.punit_instances`
* `algebra.star.basic`
* `algebra.star.pi`
* `algebra.star.prod`
* `algebra.star.unitary`
* `data.list.big_operators.basic`
* `data.list.big_operators.lemmas`
* `data.list.chain`
* `data.list.count`
* `data.list.dedup`
* `data.list.duplicate`
* `data.list.join`
* `data.list.lattice`
* `data.list.nodup`
* `data.list.pairwise`
* `data.list.permutation`
* `data.list.prod_sigma`
* `data.list.range`
* `data.list.rdrop`
* `data.list.zip`
* `data.nat.bitwise`
* `data.rat.floor`
* `data.real.cau_seq`
* `data.set.pointwise.basic`
* `logic.equiv.local_equiv`
Author
github-actions[bot]
