<https://www.trickyways.com/2022/12/how-to-change-file-type-in-windows/#primaryimage>
<http://schema.org/height>
"500"^^<http://www.w3.org/2001/XMLSchema#integer>
<https://www.trickyways.com/2022/12/how-to-change-file-type-in-windows/>