Using HTML files in src/documentation/content/design/alt.design/properties for code documentation tests.