Feature: Add export discretization length for JSON-export

Addresses and closes #17 (closed).

Merge request reports

Loading