yes, as said. This is just a follow up pull request to add some visual improvements suggested by Jan. All the functionality is already in master. This PR just moves some text around, auto-hide it etc.