Martin R. Howell wrote:
In these ads, it is stated that the new name of a previously only
numerically designated star will be kept in copyrighted book form in the
U.S. Patent Office.

I think you misheard. It's filed in the "U.S. Copyright Office."

They have lots of fiction there.

Mojo
--
Morris Jones *
Monrovia, CA

http://www.whiteoaks.com