rubygems/rubygems — pull request #739 by voxik (2013-12-10 13:22:17+00:00)
Title: Rename #extension_install_dir to #extension_dir.

The name is shorter and easier to type. It is the analogy to #gem_dir,
which does not contain the "install" word as well.

I hope it is not too late for such PR.