Implement /hotpatch formats