We should probably gitignore generated docs files

[wise-king-sullyman]

It looks like a lot of our consumers of the extension seed don't want their generated docs files checked in.

I originally kept these tracked by git as it would help with debugging, but I think the seed is stable enough now that we no longer need to do so.