PortalKit: modify name from Other to Miscellaneous