Implement flush_usercache() (completely untested so far, though).