GUI: Results tab loading/rendering progress
GUI: fixed repository description, path tooltip
GUI: fixed run history state popover

by providing a non-"table" display container, e.g., an ordinary <div>.
GUI: Fixed table brushing popover for Firefox
GUI: Fixed table brushing to reduce shakiness

by preserving and fixing the height of the row being brushed.