From c5a28eedc0936baed115d3879f4b606043441ba5 Mon Sep 17 00:00:00 2001
From: Joerg Wunsch <j@uriah.heep.sax.de>
Date: Thu, 17 Mar 2022 07:21:33 +0100
Subject: [PATCH] Also tweak smallexample