Revert "Not sure why there are so many changes, but the main thing here is a bug fix in the "intro" section of the front end."

This reverts commit 649ee92e34139d88df957c0c07812838e71eb2fc.