Is it possible to extract the "rest of line" in awk. I have a line of
input ($0) and I want to cut off the say the first three items from the
line, preserving multiple blank spaces if they occur. For example, I
have two lines

Scan: This is an example
Scan: And this is not an example

The results should be
This is an example
And this is not an example


--- MBSE BBS v1.0.7.13 (GNU/Linux-x86_64)
* Origin: A noiseless patient Spider (2:250/1@fidonet)