chore: Enhance Dotty PR body with developer checklist and documentation reminder

[tippmar-nr]

Minor Dotty tweak to help us remember to update documentation.

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 82.18%. Comparing base (bc6aacd) to head (983bcab).
⚠️ Report is 315 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #3074      +/-   ##
==========================================
- Coverage   82.19%   82.18%   -0.01%     
==========================================
  Files         477      477              
  Lines       30627    30627              
  Branches     3426     3426              
==========================================
- Hits        25173    25171       -2     
- Misses       4655     4656       +1     
- Partials      799      800       +1     

Flag	Coverage Δ
Agent	83.23% <ø> (-0.01%)	⬇️
Profiler	72.51% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.
see 1 file with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.