v4.1.12 (2020-07-22)

Scope

• Documentation organization and release metadata

Changes

• Improved
  • Move documentation into a separate repository and update release version information.