Update IRC nickname, subreddit with the /r/ prefix
Update IRC nickname, subreddit with the /r/ prefix
proglangdesign/proglangdesign.github.io,proglangdesign/proglangdesign.github.io,proglangdesign/proglangdesign.github.io