pragma. Pragma is a self-hosted, open-source, personal note taking app.