Missing Shortcode Widget Elementor

The Shortcode widget in the General section for the Elementor editor is missing. I am using DT 9.4.3. Not to be confused with the custom { Shortcodes } widget under the Premium Press content blocks section.

Doing some digging I found a possible typo on about line 6 in /DT9/framework/elementor/elementor-design-shortcodes.php

public function get_name() {
		return 'shortcode';
	}

I believe it should be return ‘shortcodes’ not ‘shortcode’. If left as shortcode it overrules the stock elementor shortcode widget which prevents it from loading into the elementor editor.

Loading the fixed /framework/elementor/elementor-design-shortcodes.php into my child theme does not seem to correct the problem. I have to edit the file in the DT9/framework/elementor/ directory which then fixes the issue.