python: quit pasting regexes together with |

attempt at #127