Hello, world!

This is a minimal HTML page.