[DEFAULT]
extensions=extra

[loose_def_list]
extensions=def_list

[simple_def-lists]
extensions=def_list

[abbr]
extensions=abbr

[footnotes]
extensions=footnotes

[tables]
extensions=tables

[tables_and_attr_list]
extensions=tables,attr_list