Noted as a comment in the source file to resolve manually after the next merge with `develop`.