Update ciarand's format choice

I don't know what I was thinking when I chose "txt" as the format. This PR changes that attribute to "html".