AliceCsodaországban Creative Commons License 2008.04.10 0 0 1377
István eredetileg Vajk volt, csak a kereszténység felvétele után kapta az István nevet.
Istváán király születésekor a Vajk névre hallgatott.
Előzmény: Törölt nick (1373)