@Override
		public void optionsChanged(Options options) {
			// don't care yet
		}
This differs from {@link #initializeTags()} in that this method will keep any excluded
tags when updating.
Ghidra/Features/VersionTracking/src/main/java/ghidra/feature/vt/gui/filters/TagFilter.java