Can't we just use the original ids for all the tabs? I really hope this patch will modify HTML and CSS only, JS is not related.