Looks like @chalcedony hasn't received any replies!