(Of course, this is just a special case of the issue that a real
modification to plugins/brokenlinks causes an unnecessary update of plugins/map,
because we have [[only_one_kind_of_dependency|todo/dependency_types]].)
(Of course, this is just a special case of the issue that a real
modification to plugins/brokenlinks causes an unnecessary update of plugins/map,
because we have [[only_one_kind_of_dependency|todo/dependency_types]].)