don't hide the new planet tool by default anymore now that it's more compact.