Recent Changes 2020-05-15 Fixed errors introduced by malicious RegEx. 2020-05-15 Streamlined AER. Broke CSS. 2020-04-29 Fixed compilation errors of old summaries. 2019-08-15 Initial commit.