doc: Improve description of extension subtype 5.
[pspp] / doc / dev / gui.texi
2020-12-26 John Darringtonpspp-dev (Graphic User Interface): New chapter.