A 9KB (3KB gzip) single HTML notebook, perfect for minimalists