The debug menu items are now handled by an extension. This is probably why the pull request can't be merged as-is.