On 2015-10-20 19:51, Ralf Mardorf wrote: > The page history provides all diffs. Couldn't find it, (probably didn't look hard enough) and I didn't dare to just assume it was available. Thanks Ralf :) -- Set