I think they should go in the amp_redux repo (which is intended to eventually replace the actual amp repository -
I just forked amp so hard amp_redux got its own repository). I'm going to be updating github docs all tonight
to reflect the new architecture, and I'm going to tweak the amp site to be more developer friendly as well.
I'll be setting up the VPS to be a developer-centric site with dashboards for different projects and whatnot.