Text this: Computably locally compact groups and their closed subgroups.