rm original comments, which already became messy since we've shrinked sources