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