doc.org with correct tangle file
documentation updated