Writeup done, docs generated