My only complaint about the pluto system is it's use of strange extended ascii characters.
The strange ascii characters I'm speaking of here are used to annotate block boundaries in pluto's generated code, they are literally in # comments so they could have used anything.
I think they are the old school ascii box drawing characters. They might live in a separate unicode era these days.