Ah, I see. Isn't HTML deprecated in scaladoc? Unless there's an appropriate file extension for scaladoc markup, I suppose .txt makes sense.