The documentation of the source time function in terms of the hard-coded
function f'(t) on the one hand and our understanding of a source-time history
on the other hand was confusing. Hopefully this is resolved now.