Should ptags and eptags be removed from repo?

[bitdancer]

BPO	24498
Nosy	@bitdancer, @ZackerySpytz
PRs	bpo-24498: Remove ptags.py and eptags.py from Tools/scripts #24869

^{Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.}

Show more details

GitHub fields:

assignee = None
closed_at = None
created_at = <Date 2015-06-24.14:26:30.333>
labels = ['type-feature']
title = 'Should ptags and eptags be removed from repo?'
updated_at = <Date 2021-03-15.08:29:16.658>
user = 'https://github.com/bitdancer'

bugs.python.org fields:

activity = <Date 2021-03-15.08:29:16.658>
actor = 'ZackerySpytz'
assignee = 'none'
closed = False
closed_date = None
closer = None
components = ['Demos and Tools']
creation = <Date 2015-06-24.14:26:30.333>
creator = 'r.david.murray'
dependencies = []
files = []
hgrepos = []
issue_num = 24498
keywords = ['patch']
message_count = 1.0
messages = ['245744']
nosy_count = 2.0
nosy_names = ['r.david.murray', 'ZackerySpytz']
pr_nums = ['24869']
priority = 'normal'
resolution = None
stage = 'patch review'
status = 'open'
superseder = None
type = 'enhancement'
url = 'https://bugs.python.org/issue24498'
versions = ['Python 3.6']

[bitdancer]

ctags directly supports python. Is there any reason to keep the ptags and eptags scripts in Tools/scripts?