Thread:Tbarbe3/@comment-27640688-20200508145520/@comment-27640688-20200509130025

I guess those are fine changes. Will we not add it to the real navbox?