Well, I guess that's one way of doing it. :( I wrote the code in question, though. It wasn't supposed to be an _advertised_ option, but when I wrote it it was

Well, I guess that's one way of doing it. :( I wrote the code in question, though. It wasn't supposed to be an _advertised_ option, but when I wrote it it was supposed to be a usable one.