As it turns out, these bugs are already fixed! :-)