Move data/ and examples/ to a separate repo?

[glebm]

data/ and examples/ together are 300 MiB

This is quite a bit of overhead for build systems and package managers, where these are not always needed.

Would it be possible to move them to a separate repo?
They can be linked here as submodules if needed.

[glebm]

There is a good guide here on how to move a directory to a separate repository while preserving history git history https://medium.com/@ayushya/move-directory-from-one-repository-to-another-preserving-git-history-d210fa049d4b