Incorrect procedure for upgrading MariaDB on Collectors since SL12

Hello, It seems the procedure for manual upgrading the MariaDB on collectors has changed since SL 12. The procedure however has not been updated. Location: https://docs.sciencelogic.com/latest/Cont...