Looks like @jhodl hasn't received any replies!