Well, if this is fixed, fell free to delete them. I think it's still best to signal them for now to avoid errors or later omissions.
