Remove some elements where code returns true

Changes for 0.002 - 2023-09-18

• No functional changes.
• [bugfix][doc] Fix examples in Synopsis.