bbsmenu.jsonそのものに関しても5ch.netから5ch.ioへ転送かかってるので
掲示板メニューか右クリックから「掲示板リストを同期」だけで一発更新可能
その場合は板ごとの個別手動編集は不要
あくまで.netドメインのキャッシュが効いてる現在のところ、って感じか