Looks like @eliezerdelgado hasn't received any replies!