From the BUGS section of mawk's manpage:
"Implementors of the AWK language have shown a consistent lack of imagination when naming their programs."
Why is this step necessary? mi.pede.rs might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here