delete GHCi.UI.Tags module and remove remaining references
Context: #19884 (closed)
This merge request marks the final phase in the deprecation of ctags and etags in GHCi.
CC: @bgamari, @Kleidukos
Context: #19884 (closed)
This merge request marks the final phase in the deprecation of ctags and etags in GHCi.
CC: @bgamari, @Kleidukos