Simplify Python docs a little to do substring search