Куда исчезли Павлики?

Услышала на улице, как мама зовет мальчика: "Паша, Паша!".
Пришло в голову, что все Павлы, которых я знаю или о которых слышала, - все Паши, и ни одного Павлика. Имя Павлик совершенно не используется. Разве что в порядке стеба - вроде сериал есть какой-то молодежный про Павлика.

И вот мне интересно - то ли это имя просто устарело и вышло из употребления - вроде как Ань теперь практически не называют Нюрами, а Маш Марьюшками - то ли у большинства людей, как и у меня, имя Павлик прочно ассоциируется с Павликом Морозовым.

Неужели вполне понятное отвращение народа к поступку мальчишки, донесшего властям на собственного отца, оказалось настолько сильным, что вычеркнуло из употребления его имя?