Yeah, rs was added after a looooot of posting had already happened. I'm waiting for @Puzzle Maniac to encounter some of Pochmann's old posts.