[kragen]

No aggression intended; I just wanted to clarify for anyone reading the thread afterwards who thought I might be responding to a different version of your comment than the one that's there now.