Board Thread:Technical Updates/@comment-957747-20180723192255/@comment-33373892-20180724154129

There is still one problem:

The current header uses the Rubik font, but in the Discussions page it still uses Helvetica.