Added documentation for trace-* forms.