Describir: A footnote on residually finite groups