new raw urls; merge beta/main

mousekin merged; I adjusted the new raw urls github gives us now which
used to be raw.github.com and then became raw2.github.com and now is
raw.githubusercontent.com for some reason