Subject: bug#41282: doc: dot graphs display square glyphs instead of letters

From: Pierre Neidhardt <[email-masked]>
Date: Fri, 15 May 2020 12:23:33 +0200

See for instance "12.1 The Reduced Binary Seed Bootstrap".
Commit 7bba5425473b5d193946e537de77c631ae6c3667.