These comments are not updated automatically and very hard to update manually,
so it's better not to have them.