[#71632512] Separate ruby_extensions and rho_ruby docs.