Merge "Remove discretization from DiscreteRegistry.dump()" into main