Delete copy of DHmodule + Update TODO