How do I move the Portal 2 maps to their own category?

I attempted to create a gamemode-addon (/addons/addon-name/gamemode/portal2/portal2_maps.txt) with this under it:

	"base"		"base"
	"title"		"Portal 2"
	"maps"		"^mp_coop_|^sp_"
	"menusystem"	"0"

		// This is strictly for added a new map category. It is NOT an actual gamemode. 

Alas, the sp_ maps remain under the “Other” category making a mess of things. What exactly did I mess up here?

Doesn’t Garry’s Mod do this automatically when you mount Portal 2? Otherwise I’m not sure

Most of the maps go into the ‘other’ category.

It’s a bug with Garry’s Mod; map categories don’t work when they’re in the addons folder. Put it directly in the gamemodes folder.

It works now. Thank you very much.