I went ahead and completed the pull request despite this one issue.  If there is a valid reason for keeping the removal of *shCore.css let me know and we can work around it