doc: Improve and rename tag filter script