I propose to move RubyGems library's RBS from stdlib to core. In Ruby, rubygems is loaded by default unless --disable-gems is given. --disable-gems option is provided only for debugging Ruby core. ...