Properly set target for MySQL doc links