# Hello world!

This is a proper index.gmi file which my server should serve if it has been configured correctly.