chore(*): add mathlib4 synchronization comments (#19176)
Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status).
Relates to the following files:
* `algebra.category.Module.filtered_colimits`
* `analysis.normed_space.algebra`
* `analysis.normed_space.spectrum`
* `analysis.normed_space.star.gelfand_duality`
* `analysis.normed_space.star.spectrum`
* `category_theory.sites.surjective`
* `measure_theory.measure.hausdorff`
* `number_theory.dioph`
* `number_theory.wilson`
* `ring_theory.perfection`
