# io/bootloader.xml.gz
# tet/bootloader.xml.gz
# io/gnome-menus-3.0.xml.gz
# tet/gnome-menus-3.0.xml.gz
(src)="s5"> Edukado
(trg)="s5"> Edukasaun
(src)="s6"> Ludi
(trg)="s6"> Jogos
(src)="s50"> Administrado
(trg)="s50"> Administrasaun
(src)="s61"> Personal settings
(trg)="s61"> Personal settings