Mikhail Gun'ko comments

Results 2 comments of


                                            Mikhail Gun'ko

https://jsoneditoronline.org/#left=cloud.7126537776eb42c1bd1c35efdb49c4d8

Thanks for the quick reply! Yes I saw that and assumed it was an optimization too. We even wanted to figure out how to flesh this out on the front...