web The case of the misplaced GitHub username Recently, when using GitHub’s global code search, I noticed something amiss with one of the results: The file path of the result was somewhat confused. Taking the path literally, there seemed to be a directory named ‘ui_extension.cpp’, as if it were