Shortcode [downloads] conflict with Download Manager

So there is a shortcode conflict between EDD and http://wordpress.org/plugins/download-manager. They both have a [downloads] shortcode.

Quick fix that makes DLM the default and changes EDD’s to [edd_downloads]:

class Custom_DLM_Shortcodes extends DLM_Shortcodes  {

	public function __construct() {
		parent::__construct();
		remove_shortcode( 'downloads' );
		add_shortcode( 'downloads', array( $this, 'downloads' ) ); // DLM
		add_shortcode( 'edd_downloads', 'edd_downloads_query' ); // EDD
	}

}
new Custom_DLM_Shortcodes();

http://wordpress.org/plugins/easy-digital-downloads/