Add some hacks to write documentation as noteboo files