and some more autogenerated repos