@Plod, it’s usually called side comment. But in this case yours fits better.
January 24, 2015
June 12, 2016
May 18, 2018
November 09, 2021
@Plod, it’s usually called side comment. But in this case yours fits better.