Cannot checkout this repo on windows because of `:` character in path

[crlf0710]

git will report error with:

error: invalid path 'tools/bookrunner/configs/books/Rust by Example/Custom Types/Enums/Testcase: linked-list/5.props'

[adpaco-aws]

Hi @crlf0710 , thanks for the issue! I'll see if we can rename the bookrunner examples somehow to avoid this error.

[adpaco-aws]

Resolving because #3123 removed all .props files.