Looks like @eezjang hasn't received any replies!