Move the docs.scrbl file and update info.rkt files