chore(*): add mathlib4 synchronization comments (#18398)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.add_torsor`
* `category_theory.bicategory.basic`
* `data.finsupp.antidiagonal`
* `data.nat.choose.central`
* `data.nat.choose.sum`
* `number_theory.primorial`
* `order.liminf_limsup`
* `topology.algebra.order.extend_from`
* `topology.continuous_function.cocompact_map`
* `topology.locally_constant.basic`
* `topology.order.lattice`
* `topology.sober`
* `topology.stone_cech`
