By a popular request, introducing the Chebfun logo in Chebgui!