Board Thread:General Discussion/@comment-39814790-20200315205418/@comment-35873778-20200315223454

MediaWiki can take some time to update, so you may have to wait a while. I'm not aware of anything that can be done in the source editor to have the same effect.