remove semtools skin as a configured skin -- will need to add that if we ever get back to deploying a semtools instance.
remove semtools skin as a configured skin -- will need to add that if we ever get back to deploying a semtools instance.