This PR includes a few small improvements/bug fixes of things I have noticed while using the tool or have gotten requested, but which are not big enough for their own branch. feature/demand-reduction should be merged first and this branch rebased on dev.
This PR includes a few small improvements/bug fixes of things I have noticed while using the tool or have gotten requested, but which are not big enough for their own branch.
feature/demand-reduction
should be merged first and this branch rebased ondev
.