I wonder how seriously they were considering the name Ultra Famicom, however. The only sources for that name are second-hand sources, in contrast to the branding for the Ultra 64.
Like you say, though, it could all PR games and I doubt we will ever get an answer.
