Topology.Sheaves.Presheaf

Stream: mathlib4

[Tchsurvives]

Declaration TopCat.Presheaf.restrict_tac' not found.
(add `set_option align.precheck false` to suppress this message)

i am getting a lot of these errors. is it acceptable to set_option align.precheck false to silence them? from what i understand #align is only for the mathport, so it kind of acts as an annotation or comment