[FIX] documentation: Do not remove user notes when updating documentation, also ensure it does not crash if a paragraph does not have a filename (which is what will happen to user notes, once documentation has been updated).