Improve documentation and mildly clean up core_extensions/extensions.rb