`current-designation` is a bit confusing here, as this is actually the current REPL buffer.