[tz] [PATCH] Update abbreviation lists in theory.html