Can we create a web app that will search for notes? Maybe using github api? Sample: http://notefinder.pythonanywhere.com/ (This was a no brainer-approach)