{incl_app,reltool,details}.