2023-06-20 UTC
# 
[KevinMarks] In this case it started out with dinky laptops like that ~5 years ago when I was first working on it, but since 2020 most of the users are now using bigger external screens, so space creep wasn't so obvious as I added things, but one of the team was using it on their laptop somewhere.