PortalKit: some improvements from end-user's point of view