This include is completely obsolete now. Not only does it not cover all the use cases in CS:GO, but now TF2 supports workshop maps... in a somewhat different way than CS:GO does.
Incidentally, it'd be a huge help if someone could tell me which names can be used in CS:GO servers for workshop maps. I think someone mentioned the map workshop ID worked in addition to the map's name... I was wondering if partial filenames also worked.
__________________
Not currently working on SourceMod plugin development.