(file name generated through article and revision ID).
That would save
lots of space in the database, and not interfere with important ongoing
operations like revert wars :-) and still keep the "really old" versions
accessible.
Welcome, Magnus, to Wikimedia. We've been holding our
archives on ExternalStore servers, which are cheapo Apache
boxes. Migration is done by compressOld.
Domas