The audience ought to be sophisticated enough to be told that """-style "comments" are just throwaway strings, at least syntactically (I imagine the interpreter just throws them out)