Final version of technical report.

Hide informal tab from algorithm widget.