BuddyPress Docs のメニューを管理者権限を持っていなくても表示させるには

BuddyPress Docs をインストールすると、ダッシュボード（Dashboard）に Docs というメニューが追加されます。
ただ、管理者（Administrator）権限がないと表示されません。

編集者（Editor）権限でも表示されるようにするには、

bp-docs.php で、

function show_cpt_ui() {
$show_ui = is_super_admin() || current_user_can('editor');

のようにします。