Minor refactorings of my playgrounds