info.json is dynamically created

All that is required is to edit Style.css, not that WordPress only
seems to support one decimal place!