As a side note, you gotta love HN... where you ask a question about some obscure thing and often get an answer straight from the source.