{incl_app,edoc,details}.