Board Thread:General Discussion/@comment-37993906-20200418020710/@comment-39340968-20200418022133

There should be a refresh icon at the bottom of the editing window.