HTML reporter once again has proper source listing.