Bikeshed: I wonder if we shouldn't put these outside 'lib' so that it's clear which files are autogenerated?