Minimal repository to illustrate a bug in Sumatra with '+' signs in filenames