tag tools for synchronisation with their documentation
more tagging, also for Prolog sources
better tagging of contributors: disregard “meta” manipulations described as “tagging”
updating files now works for Prolog and Python sources as well