better formatting for kr-*-old sources