python: do discarded docstrings get compiled? (yes, but only 1 byte)