name flagderiv category Package shortdesc The flagderiv package.