in master.js [38:46]
documentationSelect: function() { jQuery('#latest-documentation').on('change', function() { var url = jQuery(this).val(); if (url) { window.location = url; } return false; }); },