Add encoders, change display style, add numkrot. All chunked together because the changes are heavily intermingled.