Stockfish and tablebases

Is it an idea to make Stockfish use tablebases (assuming that it currently does not) ?
In this game (below) I just played, Stockfish claims that my 55...Kd5 was a mistake, and suggests 55.Rc3+?? which very quickly leads to a draw.

en.lichess.org/Yt3bejd8/black#112

I've double checked the draw here :
http://www.shredderchess.com/online-chess/online-databases/endgame-database.html

#1 Currently it does not use syzygybases. I've only done testing with the 5-man version & I haven't yet tested every position (to determine optimal configuration settings).

I believe six man is the latest?

#3 Yeah, but that introduces a programming challenge: how should the annotator indicate, "You missed a better move which draws according to the 50-move rule but only if your opponent defends perfectly?"

Player skill doesn't need to be a factor in the evaluation, does it? So if it the endgame tablebase is perfect, it's a good thing?

#4 : there's not a lot a signs one can use in annotation. It's clearly a "?" in regard of perfect play.
Don't lose your time with 5 pieces, 6 pieces are there for a long time.