%* *
%************************************************************************
-Goes with \tr{imports/Ticky.lh}; more documentation there.
+Goes with \tr{includes/Ticky.lh}; more documentation there.
%************************************************************************
%* *