judge mainpage is now gvrsf-free