At one point it was possible to use scripts like libgmail and gmail.py (can't post more than one hyperlink) to export mail from Gmail accounts. Both of those seem to not work anymore — I can't even log in with them. I assume it's because there's been some changes in Gmail. Is there still any way to do this?