documentation: Arduino IDE options: fix hyperlinks and format#8158

d-a-v merged 1 commit intoesp8266:masteresp8266/Arduino:masterfrom

d-a-v:ideoptions2d-a-v/Arduino:ideoptions2Copy head branch name to clipboard