In reply to a tweet by @HenrikJoreteg:
@HenrikJoreteg IIRC RMS says defenestration is when you install GNU/Linux on a machine previously running W32.