Adding enclosing div tags to bs1 main.scrbl
manual merge on bs1/main.scrbl