We can remove it, duplicating comments leads to them differing over time.