dev_notes Notes on random things I learned while developing all kind things. All notes can be found in the Wiki.