Open
Description
This is more of a process thing, but if we make changes to the english version of the documentation, how should we flag that the other languages are out-of-sync?
For example, #1415 makes a change to developer_docs/installation.md
. How should we track that any translated versions are now out-of-sync?