stuff missing from last update which includes theme grayscale and amshobpy