No need to ignore README.{html,pdf} any more.