add documentation generated by Luca