I suggest that we should deprecate `tic` and `toc` and explain that `@elapsed` or one of the `@time` family should be used instead.
I suggest that we should deprecate
ticandtocand explain that@elapsedor one of the@timefamily should be used instead.