Nonstandard repo shouldn't be needed now.

Towards a fix of #88.