Board Thread:Technical Updates/@comment-126761-20180924200513/@comment-168424-20180924235758

We'll see if it works reliably. Otherwise, a very welcome feature.

Now about highlighting...