More code documentation in Prime (but it's never enough...)