i wish i had more time to work on plotkit. i find new users of it every couple of days in places i don't expect.