Updated Readme from bind.scrbl