https://tongfamily.com/2023/03/19/pen-notebooks-redux-and-sidekick/