Remove pikalogy binary since terminology handles themes better