minor UI and doc updates
Merge commit '301958b11bc285e738bd1280daf6b0e6839b3b68' into devel
automatically updated version patch number