Nice! And speaking of etymology, my favourite trivia from the article: The word was coined from Greek petros, meaning "stone", and ichor, meaning "the fluid that flows in the veins of the gods". I always wondered what the second half meant.