notes

Notes

Short technical notes and observations.