Version 0.23.5 finalized