group: tools
short: A tool bar simplifying access to the Erlang tools