Once https://github.com/QuantEcon/quantecon-book-theme/pull/300 is ready -- we should globally migrate these tags in the lecture series.