added list of abbreviations, moved both to the end of the doc