Warning: Category '' in library EEPROM is not valid. Setting to 'Uncategorized'

[lefthand2]

I'm getting this error message (and a few others) only when using Leonardo & Micro midi-usb (arcore) from Arduino IDE boards manager.
Also Warning: Category '' in library EEPROM is not valid. Setting to 'Uncategorized'
Warning: Category '' in library SPI is not valid. Setting to 'Uncategorized'
Warning: Category '' in library SoftwareSerial is not valid. Setting to 'Uncategorized'
Warning: Category '' in library Wire is not valid. Setting to 'Uncategorized'
Warning: platform.txt from core 'Leonard & Micro MIDI-USB (arcore)' contains deprecated recipe.ar. ....

My configuration is PC, using an Arduino Micro, Arduino 1.8.0,

Everything works well with a Pro Micro (boards mgr -> Sparkfun AVR boards).

I saw another post of similar nature, the result being the user just switched to a Mac. Does this not work on PC's

[danfinlay]

I'm running on a Windows 10 box, I got this same error on an Arduino Micro.