My bad, I just skimmed. This is HN after all ;-)