Output file extension

[Paolo Prete]

Hello,

is it possible, in some way (without an external script) to override the
extension for the output file?

I need that output.svg is renamed as output.html

Thanks