make downloads work; add tooltips for XML attributes in HTML