Looks like @jwsohn hasn't received any replies!