Is it really a special format? It is basically just a copy of an interactive Python session?