Board Thread:Support Requests - Getting Technical/@comment-38649648-20191227020613/@comment-9605025-20191227021812

That is interesting. I am afraid I don't know for sure. However, I would guess they are supposed to show. Sometimes VisualEditor takes time to update. I would suggest waiting 24 hours to see what happens. If it still isn't working by then, you should file a bug report with staff. Many of them may be taking extra days off for the holidays so it might take a bit longer than usual to get a response. You can contact them using this.