Looks like @njeremy hasn't received any replies!