M. A. de A. G. Pinto, “Editorial note”, REDIS, no. 8, pp. 8–11, Dec. 2019.