More indexing macros.
More indexing macros.

2015-10-18  Didier Verna  <didier@didierverna.net>

	* doc/user.texi (@featindex): Improve readability.
	(@extindex): New macro.

didierverna/focus,didierverna/focus