I can't seem to get the scale command to work when the output is SVG.
If I enter the diagram:
scale 20 width
Bob -> Alice : hello
the png is scaled correctly. But if I click on the "View as SVG" link, it is normal size.
Thanks for your great work on this and making it available.