gitk not used in many years
Strip ancient host keys