Interesting! Thanks for tracking down that bit of history.