stephenc123·2 lata temu·discussAssuming you're the Sam Estep from the team, can you comment whether he's been asked for his opinion on the matter?Especially given the clear linkage with code references: https://github.com/search?q=repo%3Apenrose%2Fpenrose%20roger... - it seems more personal than Diagram/Graphical Notation/Tiling/Stairs/Triangle etc.
stephenc123·3 lata temu·discussI've set the option on the below page to UTChttps://health.aws.amazon.com/health/status#settingsAs I'm logged in, it persists across browser sessions.
Especially given the clear linkage with code references: https://github.com/search?q=repo%3Apenrose%2Fpenrose%20roger... - it seems more personal than Diagram/Graphical Notation/Tiling/Stairs/Triangle etc.