Comment by davikr

Yes. The differences between 5.0 and 5.1 are small and I do not recommend using newer versions, regardless.