Remove some bits that Github doesn't understand.