Bug corrections
Add a converter between the json history format and svg.