Kevin Carhart Sat, 20 Jul 2019 13:27:40 -0700
I would say so, if 500k is not trivial and the users won't need it.
Should we use another variaable EBDEMIN to include the demiinimizing
feature?
