name amsthdoc-it category Documentation shortdesc The amsthdoc package.