Update docs.scrbl