Update setup.md

Formatting second point to address #47

setup.md

@@ -9,11 +9,7 @@ In order to be prepared for the lesson, you need to have accounts on the followi
 1. [GitHub](https://github.com/). If you need an account, please follow this [guide](https://services.github.com/on-demand/intro-to-github/create-github-account).
 
 
-2. BioTools
-
-[bio.tools](https://bio.tools/) is a portal to bioinformatics resources worldwide, aimed to help bioinformaticians and scientists, find, understand, compare and select resources as well as use and connect them in workflows.
-
-For the purposes of this lesson, we will be using the [**developer** instance of bio.tools](https://dev.bio.tools/) so that we can add test content (it is removed periodically).
+2. [bio.tools](https://bio.tools/) is a portal to bioinformatics resources worldwide, aimed to help bioinformaticians and scientists, find, understand, compare and select resources as well as use and connect them in workflows. For the purposes of this lesson, we will be using the [**developer** instance of bio.tools](https://dev.bio.tools/) so that we can add test content (it is removed periodically).