Board Thread:Technical Updates/@comment-957747-20190312193505/@comment-4080147-20190317022243

There a few more glitches to investigate. On ios devices only: typing a word into the search box and pressing the “enter” key does not start the search, only clicking the enter button in the box does.