I was around back then. There were many button sizes, and I did not say those weren't real, existing buttons: they were common navigational aids on homepages. But they are not _web buttons_ as anybody would interpret them today. They are just buttons. The GP and the link talk specifically about _web buttons_.