#5519: remove reference to Kodos, which seems dead.
1 file changed