Looks like @negentropi hasn't received any replies!