Looking at the source/mod log/etc. it very much looks like it's using lobsters - https://github.com/lobsters/lobsters