Useful tools! They were useful for me, at least once. Maybe they’ll be useful for you, too.