2022-10-18
	* doc/: added table of contents plugin to mdbook

