[Therion] Survey Names

[Stacho Mudrak]

Quoting Philip Schuchardt <ohc at vt.edu>:

> Is there anyway to make the debug station names smaller?

Well, not yet. It should be possible, but when I have tried, I have found a bug
in therion code. I will try to fix it today...

Regards, S.