RIP Hal. So long, and thanks for all the open source contributions! You will be missed but your genius and positivity will last an eternity.