“Datasheet”, REDIS, no. 15, pp. 1–11, Dec. 2024.