Using sticky-enabled Table Headers causes IE10 to crash on printing
In the last paragraph you talk about hook_js_alter.

Basically the first part should be a name of your template or custom module, so if your module will be named ie_workaround.module function should look like this:

function ie_workaround_js_alter(&amp;$js) {
  unset($js['misc/tableheader.js']);
}


It's important to do your best to have this hook executed when this element is already set by the module or theme that sets it. You can do this using hook_module_implements_alter and placing your hook at the end of hooks array.