Hello Holger, Is there a standard way to write documentation attached to a source file? Should we have doc/doc_xxx.txt files just like we have test/test_xxx.py files for each source file xxx.py? Or should we have a subtree of the top-level doc/ that mimics the pypy/ subtree? A bientot, Armin.