Ooh, I did not! That might be an interesting place to visit, even if these days I don't have the spare hours I invested into the original. Thanks for the tip!