в разных источниках читала - имя самостоятельное, любой популярный откройте. Бывает, что имя сокращенное становится самостоятельным со временем и ничего тут странного нет, много таких имен. А такие старинные и подавно, поэтому не вижу смысла акцентировать внимание на этом. Плюс Петя и Вася имена известные и распространенные как и полная форма имени - так принято и все. Добрыни же вообще не встречаются