Ohai. This is just a random post. I wonder why github pages didn't update the pages. Guess it's time to move to a real host. Good moment as I'm learning docker. Probably will use that.
Cheers!