use different filenames in offlinetx docs
(otherwise you're left with an empty file)