traclinks.py: reindent