Yes, sorry for cross-posting, but I thought if it was a bug then github might be the better place to report this; if not, might be better to ask here. Anyway, the issue I opened at github was closed because of "no evidence of a bug".

So, if it's not a bug, then I'm probably doing something wrong. I just have no idea what...

Thanks for your help!