Great stuff! Very much appreciated. Btw, the link to jade-lang.org (don't click!) leads to a dodgy business homepage atm. The right address is http://jade-lang.com/