offlinetx docs: use different filenames

(otherwise you're left with an empty file)