.oO huh, I'd failed to update the gnu30 logo to gnu40 on my home page!
a bit late, but I've done it. hopefully it won't stay there for 10 years
as in, I hope I update it to gnu50 before the anniversary ;-)