and yet the users of RSS continue to lament the loss of Google reader.