3 new commits pushed to

<https://github.com/jmpsec/osctrl/tree/develop|develop>

by javuto

<https://github.com/jmpsec/osctrl/commit/88a9e70903695bf2c409fd1a9871609e3f55bc6f|88a9e709>

- Improved carves visibility and control across the carve views

<https://github.com/jmpsec/osctrl/commit/4873365038d7683862e8dab5c33228c8e30be27a|48733650>

- Better UI for queries and carves

<https://github.com/jmpsec/osctrl/commit/784087cc6bcc2c0e32d7799b18c02a8ea332fe72|784087cc>

- Merge pull request #879 from jmpsec/carves-improvements-frontend jmpsec/osctrl