Хм, вообще-то из этих 9-ти, тема Black-vg-white была дефолной в первых сборках PRA, тема Puppeee-blue - дефолт во всех PRA03, а лично я частенько себе ставлю тему Original.
Учитывая размер всех тем вместе взятых не вижу смысла их делать еще и отдельным модулем в дистре, т.к. тогда многие пользователи о них даже и не узнают. Надо бы еще туда добавить ambiance и другие (ИМХО)