Here is the content of include-example.html: