Нетривиальное слияние репозиториев с помощью git-filter-repo

Это вторая часть истории про слияние репозиториев. Суть проблемы вкратце такова: надо слить репозиторий с подрепозиторием с сохранением истории. Решение на gitpython работало за 6 часов и выдавало удовлетворительный результат. Но переизбыток свободного времени и врождённая любознательность привели меня к знакомству с волшебным миром git-filter-repo.