I was afraid of redundancy with interface.py header. And the only thing worst than code redundancy to maintain, is documentation redundancy :)