Wikiprova.md: explicit list at the end

Also, leave a blank line before the list, to make the text
a bit more readable.
Wikiprova.md: wrap text before column 80

This is the de-facto standard in the UNIX world, because ancient
terminals were 80x24 or 80x25.