| 
				
			 | 
			
			
				@@ -8393,8 +8393,8 @@ function install_rss_reader { 
			 | 
		
	
		
			
			| 
				8393
			 | 
			
				8393
			 | 
			
			
				     if ! grep -q "RSS reader onion domain" $COMPLETION_FILE; then 
			 | 
		
	
		
			
			| 
				8394
			 | 
			
				8394
			 | 
			
			
				         echo "RSS reader onion domain:${RSS_READER_ONION_HOSTNAME}" >> $COMPLETION_FILE 
			 | 
		
	
		
			
			| 
				8395
			 | 
			
				8395
			 | 
			
			
				     fi 
			 | 
		
	
		
			
			| 
				8396
			 | 
			
				
			 | 
			
			
				-    if ! grep -q "GNU Social domain" $COMPLETION_FILE; then 
			 | 
		
	
		
			
			| 
				8397
			 | 
			
				
			 | 
			
			
				-        echo "GNU Social domain:${RSS_READER_DOMAIN_NAME}" >> $COMPLETION_FILE 
			 | 
		
	
		
			
			| 
				
			 | 
			
				8396
			 | 
			
			
				+    if ! grep -q "RSS reader domain" $COMPLETION_FILE; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				8397
			 | 
			
			
				+        echo "RSS reader domain:${RSS_READER_DOMAIN_NAME}" >> $COMPLETION_FILE 
			 | 
		
	
		
			
			| 
				8398
			 | 
			
				8398
			 | 
			
			
				     fi 
			 | 
		
	
		
			
			| 
				8399
			 | 
			
				8399
			 | 
			
			
				  
			 | 
		
	
		
			
			| 
				8400
			 | 
			
				8400
			 | 
			
			
				     # some post-install instructions for the user 
			 |