Duplicates the EDD downloads pagination

gistfile1.php

<?php

/*
 * Plugin Name: EDD Double Pagination
 */

function pw_edd_duplicate_pagination() {
?>
	<script type="text/javascript">
	jQuery(document).ready(function($) {
		var html = $('#edd_download_pagination').clone();
		html.attr('id', 'edd_download_pagination_top');
		html.insertBefore( '.edd_downloads_list' );
	});
	</script>
<?php
}
add_action( 'wp_footer', 'pw_edd_duplicate_pagination' );

Pippin - does this gist still work with the latest version of EDD? Would really like to apply this on the downloads on our site.