remove unused color theme library; temp scratch to auto-save-list