Nope, you're absolutely right -- it's a bug. To fix this, we've gone to underlined words instead of blue words in the next release. (It's a lot easier to read, I think, with underlined words, whether they be red or black words, they're less distracting than the blue links in 3.1.0.)