add 'post office' and 'us post office' to the list of poor generic portal names

plugins/portal-highlighter-infrastructure.user.js

@@ -24,6 +24,8 @@ window.plugin.portalInfrastructure = function() {};
 window.plugin.portalInfrastructure.badTitles = ['^statue$',
                                                 '^fountain$',
                                                 '^sculpture$',
+                                                '^post office$',
+                                                '^us post office$',
                                                 '^church$',
                                                 'untitled',
                                                 'no title'];