v8.4: Removing comment outdated since eta holds in conversion rule
(this answers #3299).