mark 'favorite portals' as deprecated. the 'bookmarks for maps and portals' plugin does the same (and more) so it's pointless maintaining both