Work around a new Texinfo deficiency.
Work around a new Texinfo deficiency.

What?! A deficiency in Texinfo?! You've gotta be kidding me...

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

	* doc/user.texi (Version Numbering): Don't use @pvindex in
	itemized list.

didierverna/focus,didierverna/focus