New commits: commit d5fd7c8c8b8edc36fd9da0c192f180bf6d51c713 Author: Andrew Cagney <cagney at gnu.org> Date: Thu Nov 30 10:29:51 2023 -0500 documentation: use <option>-OPTION</option> s,<emphasis remap=...>\(-[-a-z]*\)</emphasis>,<option>\1</option>,