some more docs; repo rename