Forum » Off-Topic » Off-Topic Discussions » What is OK short for?