Minor enhancements to codeforce crawler