If the special "ckout" of the "/doc" webpage is used and the server is not
within a local check-out, then automatically convert "ckout" to "tip".