Comment on what `paths_to_id.tt` is about