userApps.md: package names are now linked to their market if possible