Stuff for http://somethingcool.mockturtle.info, and also cool stuff to show.