remove unused dotgen2
This was added over ten years ago as "experimental new dot core." As far as I can tell, this is not used anywhere.
This was added over ten years ago as "experimental new dot core." As far as I can tell, this is not used anywhere.