Hello @MartinSleziak. I'd like to propose an edit for an already existing tag(-name), kahler-manifolds. I think it's better if we'd rename it into the "more correct" version "kähler-manifold". It's not an urgent change, but a right one. Then it's possible to use "kahler-manifold" as a synonym.