//! Esty Thomas
//!
//!   - **Date:** December 7, 2017 (recorded October 27, 2017)
//!   - [**Audio**][mp3]
//!
//! [mp3]: https://www.podtrac.com/pts/redirect.mp3/cdn.newrustacean.com/file/newrustacean/interview/rbr/esty_thomas.mp3
//!
//! <audio style="width: 100%" title="Rust Belt Rust 2017: Esty Thomas" controls preload=metadata><source src="https://www.podtrac.com/pts/redirect.mp3/cdn.newrustacean.com/file/newrustacean/interview/rbr/esty_thomas.mp3"></audio>