`slim-repl-abort-read' ignores its two arguments and just pops `slime-read-string-threads' and `slime-read-string-tags'. Is the Lisp system really assumed to request and to abort REPL reads in a LIFO manner, or is this a bug? Or is my understanding of the way SLIME's REPL read mode works bogus?