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