Hi Jonathan;
The behavior you are describing is the current intended behavior. However I want to be sure that we are talking about the same thing when you state "Reload the page".
I assume you mean that you have made an update to the library and reloaded the normal profile?
In that case, order of objects of anything inherited from the library is currently not preserved when compare to the objects of the profile as you had them arranged previous to the library update.
This is because the system automatically re-orders the id's of the extensions and tags in the profile when it notices there is a library update. If you notice, when there is a library change, and you re-load any profiles inheriting the library, all objects from the library get re-ordered to grab the highest id after the last highest ID in the profile, so the library items will always go to the bottom when there is a library update.
One thing to note is that the system does preserve the order of tags/extensions from the library perspective solely, so however you have them ordered in the library, they will come to the profile in that order, but as stated will still go to the bottom as a group compared to the profile objects.
Hope this helps at least to understand why the logic behaves in this way.
Regards
-Bahman