Version 5.1.4 is a maintenance release; it updates the tools search path to include $HOME/.local/.
Fore more details, please read the project web release pages:
Release Date:
Thursday, October 29, 2020
Release Type:
Service release (bug fixes only)