I was having a little weirdness with webCoRE, so I decided to remove it and add it back… that was probably my first mistake. Now, when I try to add it from the webCoRE repo, I’m getting an internal server error. Should I just wait and try again later?
Any suggestions would be appreciated!