[misc] Useless <p> tag around the global tools from the header