Revert "deleted main.xml, which was just a placeholder."

This reverts commit 29b191873f155366721fcb985d23cf4817e70a93.