newest board manager .json file not working?

Hi,

Just tried to add the Sparkfun boards to my newly-installed Arduino IDE (v1.8.7), using the following url:

https://github.com/sparkfun/Arduino_Boa … index.json

and this did not work. However, when I tried the url noted in the 7/13/15 article written by Timothy Holmberg:

https://raw.githubusercontent.com/spark … index.json

the boards appeared as expected.

Any clues?

TIA,

Frank