It is common that after a tricky bug has been fixed, a development team or someone in their surroundings comes up with the idea to “document more”.