@jwisser yeah I loved that post! I always thought of that as a throwaway joke but @gruber really got me thinking.