I suggest that we create the following tag synonyms:
- cc.complexity-theory -> complexity-theory
- ds.algorithms -> algorithms
- ds.data-structures -> data-structures
- fl.formal-languages -> formal-languages
- lo.logic -> logic
- pl.programming-languages -> programming-languages
We are migrating a considerable number of questions from cstheory to here in these areas and the tags get removed during the migration because the ones on cs are without the initial parts, so we need to edit the question after migration to fix this.