Notes

Short technical notes, discoveries and reminders.