tmp-format: document origin of TMP format