Tweak help contents' HTML source