gnu: Properly credit Konrad Hinsen.