Actually remove Core module

See edc588d300b1904e3421f4107cd26cad564a6575.