python: format top comment as doc string.