extra/lint: Removed dup -rot -> tuck entry from manual-substitution table

extra/lint: Removed dup -rot -> tuck entry from manual-substitution table

tuck is deprecated. load-all shows a warning in the UI Listener as per #347