Filled in the documentation of the tacticals in tactdoc