Kind request for platform neutral file rename request without ':'

[infojg9]

Dear trailofbits/publications Team,

firstly, thank you for phenomenal technical and process details, it is exceptional.

While trying to git clone on windows 10 latest, faced file ':' issue and hence checkout failed.

Any thought maybe, thanks.

Resolving deltas: 100% (1075/1075), done.
error: invalid path 'presentations/It's coming from inside the house: kernel spa
ce fault injection with KRF/It's coming from inside the house: kernel space faul
t injection with KRF.pdf'
fatal: unable to checkout working tree
warning: Clone succeeded, but checkout failed.

[dguido]

Should be fixed!