I know I didn't notice it back then but did notice it now (and it's a neat trick which I didn't encounter before), so for me reposting worked.