Remove the broken parts of the /hotpatch command