title: Case insensitivity in Python strings
body: <p>I know that you can use the ctypes library to perform case insensitive comparisons on strings, however I would like to perform case insensitive replacement too. Currently the only way I know to do this is with Regex's and it seems a little poor to do so via that.</p>
  
  <p>Is there a case insensitive version of replace()?</p>