Show Coq-Headlines in table of contents

In a .v-file, there can be some headlines (based on coqdoc-notation, e.g. (** * This is a headline *)). In comoproj-v1.1.0, it was possible to show them in the table of contents. This should be again possible.