Fix extmon documentation

Single quotes apparently don't work, switch them to double quotes.