doc: fix a merge artifact

Conflicts:
	lib/core_dom/tagging_view_factory.dart