dropping rnglib.md, updating TODO