Yesterday I wrote about my fun day writing something which was terribly boring – a user documentation manual. As I wrote it led me to ponder the nature of user documentation in general. Specifically, what format it should take when it’s shared with the users. For years the go to choice has been “Portable Document Format,”…