In HTML tables, do not open links marked with target="_blank" using the JS handler and the overlay window, but let the browser handle them directly.
In HTML tables, do not open links marked with target="_blank"
using the JS handler and the overlay window,
but let the browser handle them directly.

BenchExec itself won't add this attribute anywhere,
but if users manipulate the HTML and add it,
we want to let it work as expected.

martin-neuhaeusser/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,dbeyer/benchexec