3 new commits pushed to

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

by javuto

<https://github.com/jmpsec/osctrl/commit/b7118f76e2052862f60c45768143eedf9c6b0be6|b7118f76>

- Node-scoped read-only console powered by hidden accelerated distributed queries

<https://github.com/jmpsec/osctrl/commit/879f775681f9d858efc75c27508c59fcf58e6034|879f7756>

- Potential fix for pull request finding 'CodeQL / Incorrect conversion between integer types'

<https://github.com/jmpsec/osctrl/commit/e0b6b6319823d5a65921e188e99fbca13faa74f5|e0b6b631>

- Merge pull request #909 from jmpsec/web-console-queries-accelerated jmpsec/osctrl