Hi Harry, 2016-02-29 10:58, Harry van Haaren: > This patch adds buttons with icons for documentation links and locations. I don't think everything should be a button. Currently, I cannot think to something else. Feel free to suggest.