Well, not really. Lucky Lisp is at an average 8 now, whereas Maudlin is a clear 9, which will mean that Lucky Lisp will probably not make or just about make the final Top 100, whereas Maudlin will be top 30, so there is a huge difference.
Don't lose faith, Theo