moved main.scrbl to make the generated docs cleaner