f1d7dc73
7b9a2889
* commit 'f1d7dc730fc2fb8a9e5c913fb61df82b9d9104eb': Doc change: fix some table formatting.