It may be a good idea to extend the platform until here (or where it stops having its maximum width), or add a service way, as well as adding a platform area.

For https://www.openstreetmap.org/node/8095268725