M. A. de A. G. Pinto, “Editorial note”, REDIS, no. 9, pp. 8–10, Dec. 2020.