If Gruber’s name were substituted into a movie title, it may look like this.

Editor’s note:  This post has been updated with additional tweets.