I suppose not. Navigating to /starred/ could just load the favorites list from cookies. This would be inconsistent with the other pages that use .html but I don't think that matters much.